Skip to content
Snippets Groups Projects

publications

Passed
Michael Kohlhase created pipeline for commit 82d40242
, finished
For master
branch
1 job 49 seconds, queued for 4 seconds