Clean up disk between clippys in CI (#2188)

* Free up space for tee-clippy * clean-up space
litentry · Oct 12, 2023 · 0574a1f · 0574a1f
1 parent 576d6ff
commit 0574a1f
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -265,6 +265,17 @@ jobs:
           cargo clippy --release --features evm -- -D warnings
           echo "::endgroup::"
 
+      - name: Clean up disk
+        working-directory: ./tee-worker
+        run: |
+          echo "::group::Show disk usage"
+          df -h .
+          echo "::endgroup::"
+          cargo clean --profile release
+          echo "::group::Show disk usage"
+          df -h .
+          echo "::endgroup::"
+
       - name: Tee-enclave clippy
         working-directory: ./tee-worker/enclave-runtime
         run: |