Skip to content

Better output on failing build-run, and type annotations/cleanup in run - #464

Merged
pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:types_in_run_and_minor_cleanup
Aug 24, 2026
Merged

pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:types_in_run_and_minor_cleanup

Commits

  1. Commits on Aug 20, 2026