Skip to content
Snippets Groups Projects

CI: fail when BenchExec fails

Failed
Петров Олег Максимович created pipeline for commit eafa9f48
, finished
1 related merge request: !10 Draft: Update CI, #28
latest
35 jobs 74 minutes 17 seconds, queued for 2 seconds