Skip to content
Snippets Groups Projects

fix ci

Failed
Paul created pipeline for commit d18bf298
, finished
1 related merge request: !2 Add gitlab ci and fix makefile
1 job 2 minutes 23 seconds, queued for 2 seconds