CI: remove outdated 'docker' tab to run on the new CERN infrastructure
Related merge request !229 to merge ci-move-to-new-infr
merge request
31 jobs
93 minutes 28 seconds, queued for 3 seconds