Skip to content
Snippets Groups Projects

Remove unnecessary build dependency

Passed
Florian Uhlig created pipeline for commit 65f2cf3b
, finished
Related merge request !1036 to merge fix_build_system
merge request
14 jobs 40 minutes 59 seconds, queued for 3 seconds