[codex] Debug countdown CI failure#118

Philipp15b wants to merge 3 commits into

mainmoves-rwth/caesar:mainfrom

codex/debug-countdown-cimoves-rwth/caesar:codex/debug-countdown-ciCopy head branch name to clipboard