Skip to content
Snippets Groups Projects

Correct bug in github CI file

Passed
Jens Bröder created pipeline for commit 9df0cf27
, finished
For dev
1 job 43 seconds, queued for 0 seconds