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