Skip to content

CI: use new runner where necessary

Use the new runner we set up to work around the CI errors we have been experiencing.

Merge request reports

Loading