[CI] More aggressively clean up space on disk

Author: giordano

.github/workflows/ci.yml

@@ -81,7 +81,24 @@ jobs:
             julia-version: "1.12"
 
     steps:
-      - run: sudo rm -rf /opt/*
+      - name: Show available storage before cleanup
+        run: |
+          df -h /
+          df -a /
+      - name: Free Disk Space
+        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be # v1.3.1
+        with:
+          tool-cache: true
+          # This option takes some time, but could be switched to true if more
+          # space is needed (~5 GB or so)
+          large-packages: false
+      - name: Cleanup /opt
+        run: |
+          sudo rm -rf /opt/*
+      - name: Show available storage after cleanup
+        run: |
+          df -h /
+          df -a /
       - uses: actions/checkout@v6
       - uses: julia-actions/setup-julia@v2
         with: