Skip to content

Revert gitlab-ci into master

georg requested to merge revert-833a0f78 into master

This reverts merge request !58 (merged) This is still work in progress.

Merge request reports