Skip to content
Snippets Groups Projects

updated makefile and ci

Passed
orestis.malaspin created pipeline for commit a04ab4d9
, finished
For master
1 job 2 minutes 49 seconds, queued for 3 seconds