Skip to content
Snippets Groups Projects

Merge branch 'fix_install' into 'master'

Passed
Christopher Wipf created pipeline for commit ea42d0c6
, finished
For master
3 jobs 1 minute 3 seconds, queued for 3 seconds