Skip to content
Snippets Groups Projects

add more descriptive error message

Passed
STEVAN Antoine created pipeline for commit 0057edee
, finished
Related merge request !187 to merge benchmarks-arg-checks
merge request
2 jobs 3 minutes 40 seconds, queued for 1 seconds