Fix CI pipeline
The OS of run4 was upgraded to Debian12 so we need to update the CI runner on that machine.
Merge request reports
Activity
Filter activity
Please register or sign in to reply
The OS of run4 was upgraded to Debian12 so we need to update the CI runner on that machine.