Commit 5e5328d3 authored by Tim Übelhör's avatar Tim Übelhör

Merge branch 'gitlab-ci' into 'master'

Gitlab ci

See merge request !1
parents 6312c2a2 cf895d7c
Pipeline #201246 passed with stage
in 4 minutes and 1 second