Skip to content
Snippets Groups Projects

trigger pipeline

Passed
Uwe Jandt (DESY, HIFIS) created pipeline for commit 5781aa77
, finished
Related merge request !31 to merge before-redirects-to-hifis
latest merge request
8 jobs 4 minutes 59 seconds, queued for 1 seconds