Merge branch 'licence' into main
Failed
michael.minelli
created pipeline for commit
58da690d
, finished
For main
60 minutes 8 seconds, queued for 2 seconds