CI: Switch to 8-core Ubuntu runners

The macOS build is left using the default runner for now. While it is much slower than the default Ubuntu runner, we are not planning to run tests on macOS initially, so the macOS build time should not be a significant blocker once tests are running on the other platforms.
sircsq · Nov 14, 2023 · 96ea8e8 · 96ea8e8
1 parent 8bace89
commit 96ea8e8
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -16,12 +16,12 @@ jobs:
           - name: ubuntu-20.04
             tier: 1
             platform: Ubuntu 20.04
-            os: ubuntu-20.04
+            os: ubuntu-20.04-8cores
 
           - name: ubuntu-22.04
             tier: 3
             platform: Ubuntu 22.04
-            os: ubuntu-22.04
+            os: ubuntu-22.04-8cores
 
           - name: macos-11
             tier: 3
@@ -37,15 +37,15 @@ jobs:
           - name: mingw32
             tier: 3
             platform: Windows (64-bit MinGW)
-            os: ubuntu-latest
+            os: ubuntu-22.04-8cores
             cross_deps: >
               mingw-w64
             host: HOST=x86_64-w64-mingw32
 
           - name: aarch64-linux
             tier: 3
             platform: ARM64 Linux
-            os: ubuntu-latest
+            os: ubuntu-22.04-8cores
             cross_deps: >
               g++-aarch64-linux-gnu
             host: HOST=aarch64-linux-gnu