Repository navigation

ci: let a cancelled job's test harness stop its VMs and remove its scratch - #975

Merged

Pedro Henrique Penna (ppenna) merged 6 commits into

devfrom

agents/issue-946-harness-cancellation

Oct 29, 2026

Merged

ci: let a cancelled job's test harness stop its VMs and remove its scratch#975
Pedro Henrique Penna (ppenna) merged 6 commits into
devfrom
agents/issue-946-harness-cancellation

Commits on Oct 28, 2026
- scripts: let SIGTERM interrupt nvx.py as SIGINT does
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  2e7342b
- sandbox: stop an interrupted acceptance's sandboxes
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  cf6b76a
- microvm: build the time ABI monitor before OpenVMM starts
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  ac35cf4
- scripts: end OpenVMM with the harness that started it on Linux
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  04d78a3
- ci: let a cancellation reach the test harness
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  94d17c5
- ci: remove the scratch directories that earlier jobs left
  
  Pedro Henrique Penna (ppenna)
  and
  Copilot
  committed
  8b3dbca