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