Skip to content

Cancel queued up work on ctrl-c #425#433

Merged
gkreitz merged 1 commit into
Kattis:masterfrom
gkreitz:425_clean_shutdown_in_multithreading
Jun 17, 2026
Merged

Cancel queued up work on ctrl-c #425#433
gkreitz merged 1 commit into
Kattis:masterfrom
gkreitz:425_clean_shutdown_in_multithreading

Cancel queued up work on ctrl-c #425

3918cfc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
packages
succeeded Jun 17, 2026 in 4m 9s