Skip to content

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

Loading