Skip to content
Snippets Groups Projects

Merge branch 'main' of https://git.rwth-aachen.de/polaris/rights-engine

Failed
Benjamin Ledel created pipeline for commit 69905511
, finished
branch
3 jobs 9 minutes 17 seconds, queued for 2 seconds