Commit 52f32aaa authored by Ralf Jung's avatar Ralf Jung

Merge branch 'ralf/ci' into 'master'

update Makefile and CI

See merge request !2
parents 629187f1 262c9d8a
Pipeline #8641 passed with stage
in 12 minutes and 22 seconds