Skip to content
Snippets Groups Projects

[ci] Default value for MAKE_ARGS

Warning
Moritz Angermann created pipeline for commit 16c13d5a
, finished
Related merge request !5049 to merge wip/angerman/ci-make-args-default
merge request
24 jobs 329 minutes 17 seconds, queued for 3 seconds