Skip to content
Snippets Groups Projects

Update configuration flags for GitLab distcheck

Passed
created pipeline for commit ba1d12ae
, finished
Related merge request !36 to merge master
merge request
2 jobs 1 minute 41 seconds, queued for 3 seconds