Merge branch 'job_1d25e8fa3e0ece12dcdefcb286cf368c' into 'master'

New job offer job_1d25e8fa3e0ece12dcdefcb286cf368c

See merge request !673
2 jobs for master in 37 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Deps
passed #35415
pelican
deps

00:00:02

 
  Build
passed #35416
docker
build

00:00:34