Merge branch 'michal/gitlab-ci-cleanup' into 'master'

GitLab CI cleanup

See merge request !1329
2 jobs for master in 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #152369
amd64 linux
docs:sid:amd64

00:00:45

 
  Push
passed #152370
amd64 linux
push:docs:sid:amd64

00:00:12