Commit 41271a1c authored by Lukas Matt's avatar Lukas Matt

Merge branch 'integrate_gitlab_ci' into 'master'

Integrate with gitlab ci

See merge request !1
parents 37284435 2cd06d0b
Pipeline #51 passed with stage
in 1 minute and 38 seconds