[issue1170] SCC merge strategy: remove option to use a merge tree. · aibasel/downward@794d0f5

Triggered via push February 6, 2025 13:23

roeger

main

Status Success

Total duration 13m 2s

Artifacts 2

ubuntu.yml

on: push

Matrix: Compile planner

Matrix: Test planner

Produced during runtime

Name	Size
compiled-planner-ubuntu-22.04 Expired	118 MB
compiled-planner-ubuntu-24.04 Expired	118 MB