Merge branch 'job_ef5463d7b8e20a6f9d85dd17fabf8366' into 'master'

New job offer job_ef5463d7b8e20a6f9d85dd17fabf8366

See merge request !644
2 jobs for master in 30 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Deps
passed deps #33723
pelican

00:00:02

 
  Build
passed build #33724
docker

00:00:27