pub const DEFAULT_TIMEOUT: Duration;
How long a checker’s command may run before it is killed.
A timeout is not a tuning knob here, it is what stops a hung compiler becoming a hung commit. Every Command carries one.
Command