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