Skip to content

#1445: derive the launch set from the registry — delete the hand list and the serialization point with it - #1013

Open
PaulFidika wants to merge 1 commit into
masterfrom
1445-derive-launch-set
Open

#1445: derive the launch set from the registry — delete the hand list and the serialization point with it#1013
PaulFidika wants to merge 1 commit into
masterfrom
1445-derive-launch-set

#1445: derive the launch set from the registry — delete the hand list…

0d257d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
tests
failed Aug 19, 2026 in 7m 42s