CI: use new runner where necessary

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

added 1 commit

• 43ed9e6c - CI: use new runner where necessary (MR 2548)

Compare with previous version

approved this merge request

added 1 commit

• 21ab1b3c - CI: use new runner where necessary (MR 2548)

Compare with previous version

enabled an automatic merge when all merge checks for 21ab1b3c pass

merged