Skip to content
Snippets Groups Projects

initial commit

Failed
Stefan Gehr created pipeline for commit 315a1747
, finished
For main
7 seconds, queued for 2 seconds