Skip to content

[runner] fair time wall

Loïc Correnson requested to merge fix/time-wall into master

Fix possible unintended behavior after the final time wall (run-over).

Merge request reports