Skip to content
Snippets Groups Projects

update Makefile

Passed
Ralf Jung created pipeline for commit 9e267150
, finished
For master
8 jobs 14 minutes 16 seconds, queued for 323 seconds