Merge branch 'master' of gitlab.gwdg.de:dmanik/gitlab-ci-talk

1 job for master in 1 minute and 19 seconds (queued for 1 second)