Merge branch 'main' of git.rwth-aachen.de:polaris/entwicklung/deployment
Failed
Benjamin Ledel
created pipeline for commit
5265c23e
, finished
For main
4 minutes 31 seconds, queued for 3 seconds