Merge branch 'legal-check' into 'develop'

Various gitlab usage improvements

See merge request !760
2 jobs for nightly in 12 minutes and 14 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Precheck
passed #33113
fast-build

00:12:14

 
  External
passed cdash:ubuntu-18.04-fast