Skip to content

run make dev-install in jobs

Philipp S. Sommer requested to merge fix-ci into master

otherwise the build artifacts are deleted

Merge request reports