Stop using the "big" Gitlab CI runners

These runners seem to no longer be available to contributors who submit MRs from their personal forks.

This reverts commit e065a311. This reverts commit c4c6a222.

added ci label

added 2 commits

• 627754a8 - 1 commit from branch master
• b5bcefe6 - Stop using the "big" Gitlab CI runners (MR 5565)

Compare with previous version

By clayton craft on 2024-09-06T19:45:36

approved this merge request

By f_ on 2024-09-06T19:49:44

Merging because it is a trivial and critical fix, and without it CI fails to run for folks sending MRs.

By f_ on 2024-09-06T19:53:08

added 1 commit

• cccdf68e - ci: stop using the "big" Gitlab CI runners (MR 5565)

Compare with previous version

By f_ on 2024-09-06T19:56:24

enabled an automatic merge when all merge checks for cccdf68e pass

By f_ on 2024-09-06T19:56:39

merged