Skip to content
Snippets Groups Projects

fix benchmarks for g1

Failed
Benjamin Gallois created pipeline for commit 6b22e7fd
, finished
Related merge request !188 to merge add_benchmarks_ci
merge request
8 jobs 19 minutes 30 seconds, queued for 1 seconds