Merge branch 'job_7513b5ef2b816fa8ada2c88e67b73371' into 'master'

New job offer job_7513b5ef2b816fa8ada2c88e67b73371

See merge request !900
2 jobs for master in 45 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Deps
passed deps #44851
pelican

00:00:03

 
  Build
passed build #44852
docker

00:00:41