Skip to content
Snippets Groups Projects

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

Failed
Benjamin Ledel created pipeline for commit 0244ac7c
, finished
For main
branch
4 jobs 48 seconds, queued for 0 seconds