diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0b7aaf0b..8abec288 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -73,16 +73,36 @@ jobs: # Add a job that uses the unprivileged builder with unpacked shards - runner: unprivileged squashfs: false - julia-version: "1.7" + julia-version: "1.12" - # This job is disabled because it "has been failing for some months" - # # Add a job that uses the docker builder with unpacked shards - # - runner: docker - # squashfs: false - # julia-version: "1.7" + # Add a job that uses the docker builder with unpacked shards + - runner: docker + squashfs: false + 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: @@ -131,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 /