Skip to content
Snippets Groups Projects

update build system

Passed
Ralf Jung created pipeline for commit 19336d3d
, finished
For ci/ralf/makefile
6 jobs 10 minutes 53 seconds, queued for 89 seconds