Skip to content
Snippets Groups Projects

Merge branch 'main' of git.rwth-aachen.de:polaris/entwicklung/deployment

Failed
Benjamin Ledel created pipeline for commit 5265c23e
, finished
For main
4 minutes 58 seconds, queued for 1,550 seconds