Skip to content

Subtree update automation: use fast version of subtree split - #270

Merged
tautschnig merged 1 commit into
model-checking:mainfrom
tautschnig:fix-automation
Mar 13, 2025
Merged

Subtree update automation: use fast version of subtree split#270
tautschnig merged 1 commit into
model-checking:mainfrom
tautschnig:fix-automation

Subtree update automation: use fast version of subtree split

ff7f6d2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs