Skip to content

fix(scripts): make the integration runner die by SIGINT and leave nothing after a signal - #592

Merged
ThomasK33 merged 21 commits into
mainfrom
fix/runner-sigint-race
Nov 13, 2026
Merged

fix(scripts): make the integration runner die by SIGINT and leave nothing after a signal#592
ThomasK33 merged 21 commits into
mainfrom
fix/runner-sigint-race

Merge remote-tracking branch 'origin/main' into fix/runner-sigint-race

cde2e40
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar