Skip to content

fix issue #1732 - #1733

Open
jlohse-mpi-sws wants to merge 2 commits into
cms-dev:mainfrom
jlohse-mpi-sws:main
Open

jlohse-mpi-sws wants to merge 2 commits into
cms-dev:mainfrom
jlohse-mpi-sws:main

prioritize contestant failure over controller failure

75f190e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
test (ubuntu:noble)
succeeded Oct 19, 2026 in 7m 24s