Skip to content

update Makefile and CI

Ralf Jung requested to merge ralf/ci into master

Merge request reports