Repository navigation

Report signals in job exit status - #4490

Merged

un-def merged 1 commit into

issue_4487_signal_exit_status

Nov 13, 2026

Merged

Report signals in job exit status#4490
un-def merged 1 commit into
masterfrom
issue_4487_signal_exit_status

Commits on Nov 13, 2026
- Report signals in job exit status
  
  un-def
  and
  claude
  committed
  49ac233