CI: remove linux 4 core large runner

marcoieni · marcoieni · commit 38dbcf66b582 · 2024-10-31T16:59:46.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -110,11 +110,14 @@ jobs:
       # less disk space.
       - name: free up disk space
         uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
-        if: contains(matrix.os, 'ubuntu')
+        if: contains(matrix.free_some_disk, true)
         with:
           # Removing packages with APT saves ~5 GiB, but takes several
           # minutes (and potentially removes important packages).
           large-packages: false
+      - name: free up disk space
+        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
+        if: contains(matrix.free_disk, true)
 
       # Rust Log Analyzer can't currently detect the PR number of a GitHub
       # Actions build on its own, so a hint in the log message is needed to
diff --git a/src/ci/github-actions/jobs.yml b/src/ci/github-actions/jobs.yml
@@ -6,11 +6,15 @@ runners:
 
   - &job-linux-4c
     os: ubuntu-20.04
+    # Free some disk space to avoid running out of space during the build.
+    free_some_disk: true
     <<: *base-job
 
-  # Large runner used mainly for its bigger disk capacity
   - &job-linux-4c-largedisk
-    os: ubuntu-20.04-4core-16gb
+    os: ubuntu-20.04
+    # Free as much disk space as possible to avoid running out of space during the build.
+    # Only set this if `free_some_disk` is not enough because freeing disk takes time.
+    free_disk: true
     <<: *base-job
 
   - &job-linux-8c
