Commit 1d094160 authored by Ralf Jung's avatar Ralf Jung

update CI and Makefile

parent 4014c929
Pipeline #9138 passed with stage
in 16 minutes and 40 seconds