Commit 837b5190 authored by Ralf Jung's avatar Ralf Jung

update Makefile and CI config

parent bb2fd890
Pipeline #13541 passed with stage
in 5 minutes and 38 seconds