I think in my original merge request my local and remote branch weren't synced so the merge missed some commits.
This will hopefully fix the failure in ART.
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.
I think in my original merge request my local and remote branch weren't synced so the merge missed some commits.
This will hopefully fix the failure in ART.