Merge branch 'main' into 'master'
Failed
Sigmund, Dominik
created pipeline for commit 797ae40b
, finished
1 related merge request: !1 Master to main
1 minute 26 seconds, queued for 2 seconds