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
4 minutes 35 seconds, queued for 2 seconds