Skip to content

Exit the process a short time after entering our ctrl-c handler#125523

Merged
bors merged 1 commit into
rust-lang:masterfrom
saethlin:ctrlc-timeout
May 26, 2024
Merged

Exit the process a short time after entering our ctrl-c handler#125523
bors merged 1 commit into
rust-lang:masterfrom
saethlin:ctrlc-timeout

Exit the process a short time after entering our ctrl-c handler

f1a18da
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs