Merge branch 'ci-diskspace-fix' into ntl

sagemath · Feb 10, 2024 · cd8b045 · cd8b045
2 parents 7b8e167 + 6f243a1
commit cd8b045
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -152,15 +152,16 @@ jobs:
       EXTRA_SAGE_PACKAGES:  ${{ inputs.extra_sage_packages }}
     steps:
       - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v8
+        uses: easimon/maximize-build-space@v10
         with:
           # need space in /var for Docker images
-          root-reserve-mb:      40000
+          root-reserve-mb:      30000
           remove-dotnet:        true
           remove-android:       true
           remove-haskell:       true
           remove-codeql:        true
           remove-docker-images: true
+        continue-on-error: true
         if: inputs.free_disk_space
       - name: Check out SageMath
         uses: actions/checkout@v4

diff --git a/.github/workflows/docker_hub.yml b/.github/workflows/docker_hub.yml
@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Maximize build disk space
-        uses: easimon/maximize-build-space@v8
+        uses: easimon/maximize-build-space@v10
         with:
           # need space in /var for Docker images
           root-reserve-mb:      40000
@@ -25,6 +25,7 @@ jobs:
           remove-haskell:       true
           remove-codeql:        true
           remove-docker-images: true
+        continue-on-error: true
 
       - name: Checkout
         uses: actions/checkout@v4