Filter some build warnings
Passed
Florian Uhlig
created pipeline for commit 30a0d6bf
, finished
Related merge request !449 to merge filter_build_warnings
46 minutes 57 seconds, queued for 3 seconds