Skip to content

WIP: Set up gitlab CI

georg requested to merge gitlab-ci into master

This is still work in progress, to get it right. I'm taking care of this.

Merge request reports