CI: remove outdated 'docker' tab to run on the new CERN infrastructure
Passed
Riccardo Maria Bianchi
created pipeline for commit
9cda8ca8
, finished
Related merge request !229 to merge ci-move-to-new-infr
93 minutes 28 seconds, queued for 3 seconds