Skip to content
Snippets Groups Projects

update Makefile

Passed
Ralf Jung created pipeline for commit 6385b547
, finished
For master
4 jobs 14 minutes 16 seconds, queued for 433 seconds