From 7c5b98bb7ba663928290250350212e1f23f556ce Mon Sep 17 00:00:00 2001 From: Vasily Ilin Date: Thu, 5 Nov 2026 08:46:09 -0800 Subject: [PATCH] ci(proof-profile): free runner disk before restoring caches The measure and absolute jobs ran out of space in "Restore pool build" (System.IO.IOException: No space left on device), so every profile comment came back empty. Add the same "Free runner disk space" step main CI already uses, before the dependency and pool-build restores. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/proof-profile.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/proof-profile.yml b/.github/workflows/proof-profile.yml index 393939d038..b7cdb92941 100644 --- a/.github/workflows/proof-profile.yml +++ b/.github/workflows/proof-profile.yml @@ -275,6 +275,14 @@ jobs: fetch-depth: 0 persist-credentials: false + # Restored dependency and pool-build caches overflow the runner's + # default free space ("No space left on device" from 2026-11-05). + - name: Free runner disk space + run: | + sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc \ + /usr/local/.ghcup /opt/hostedtoolcache/CodeQL /usr/share/swift + df -h / + - name: Restore Lean dependencies id: dependency-cache uses: actions/cache/restore@27d5ce7f107fe9357f9df03efb73ab90386fccae @@ -398,6 +406,14 @@ jobs: fetch-depth: 0 persist-credentials: false + # Restored dependency and pool-build caches overflow the runner's + # default free space ("No space left on device" from 2026-11-05). + - name: Free runner disk space + run: | + sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc \ + /usr/local/.ghcup /opt/hostedtoolcache/CodeQL /usr/share/swift + df -h / + - name: Restore Lean dependencies id: dependency-cache uses: actions/cache/restore@27d5ce7f107fe9357f9df03efb73ab90386fccae