Skip to content
Snippets Groups Projects

update Makefile

Passed
Ralf Jung created pipeline for commit 1b559061
, finished
For master
4 jobs 11 minutes 50 seconds, queued for 2 seconds