[CI] More aggressively clean up space on disk

Author: giordano

.github/workflows/ci.yml

@@ -81,7 +81,28 @@ jobs:
             julia-version: "1.12"
 
     steps:
-      - run: sudo rm -rf /opt/*
+      - name: Show available storage before cleanup
+        run: |
+          echo " --> df -h /"
+          df -h /
+          echo " --> df -a /"
+          df -a /
+      - name: Free Disk Space
+        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be # v1.3.1
+        with:
+          tool-cache: true
+          # Removing "large packages" alone takes a couple of minutes, it could
+          # be switched to true if more space is needed (it'd save ~5 GB or so)
+          large-packages: false
+      - name: Cleanup /opt
+        run: |
+          sudo rm -rf /opt/*
+      - name: Show available storage after cleanup
+        run: |
+          echo " --> df -h /"
+          df -h /
+          echo " --> df -a /"
+          df -a /
       - uses: actions/checkout@v6
       - uses: julia-actions/setup-julia@v2
         with:
@@ -130,3 +151,10 @@ jobs:
           path-to-lcov: lcov.info
           flag-name: run-${{ join(matrix.*, '-') }}
           parallel: true
+      - name: Show available storage at the end
+        if: always()
+        run: |
+          echo " --> df -h /"
+          df -h /
+          echo " --> df -a /"
+          df -a /