Skip to content

[runner] detect not-killed process

Loïc Correnson requested to merge fix/runner-no-kill into master

Detect still-running jobs after clock-wall + 1s. Emit a warning and exit anyway.

Problem detected with CVC5. Would be fine to log the prepared task files for reporting bug.

Merge request reports