From ef0dbbeb590f1f3243c057b5ecd365c544635e87 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Tue, 6 Feb 2024 22:36:16 -0800 Subject: [PATCH 1/3] .github/workflows: Upgrade easimon/maximize-build-space to v10 --- .github/workflows/docker.yml | 2 +- .github/workflows/docker_hub.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 9c9c033441f..8dd83a8a302 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -152,7 +152,7 @@ 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 diff --git a/.github/workflows/docker_hub.yml b/.github/workflows/docker_hub.yml index 694cd51762f..8c3d2fff12b 100644 --- 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 From 78ed70efc7d36420744971afda72ea708be88410 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Tue, 6 Feb 2024 22:40:33 -0800 Subject: [PATCH 2/3] .github/workflows: Ignore failures in easimon/maximize-build-space --- .github/workflows/docker.yml | 1 + .github/workflows/docker_hub.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 8dd83a8a302..55b76a99523 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -161,6 +161,7 @@ jobs: 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 index 8c3d2fff12b..b71eec8178d 100644 --- a/.github/workflows/docker_hub.yml +++ b/.github/workflows/docker_hub.yml @@ -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 From 6f243a1368461d489b76c83b95d58fd38d5b9bae Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Fri, 9 Feb 2024 12:28:54 -0800 Subject: [PATCH 3/3] .github/workflows/docker.yml: Adjust easimon/maximize-build-space root-reserve-mb for new GitHub runners --- .github/workflows/docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 55b76a99523..1ee938339b3 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -155,7 +155,7 @@ jobs: 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