Merge branch 'Integration_pipeline' into 'master'
Passed
Stephan Seitz
created pipeline for commit
678873dd
, finished
For master
18 minutes 49 seconds, queued for 4 seconds