Port of !379 (merged) from run2-patches to master.
@erodrigu - slightly later than promised, but here it is.
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.
Port of !379 (merged) from run2-patches to master.
@erodrigu - slightly later than promised, but here it is.