Reduce disk usage when collecting coverage

viperproject · Feb 29, 2024 · 96b841c · 96b841c
1 parent 2d14265
commit 96b841c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -8,6 +8,8 @@ on:
 env:
   RUST_BACKTRACE: 1
   PRUSTI_ASSERT_TIMEOUT: 60000
+  # Disable incremental builds to reduce disk usage
+  CARGO_INCREMENTAL: 1
 
 jobs:
   test:
@@ -56,6 +58,9 @@ jobs:
           cd prusti-contracts/prusti-contracts-test/
           cargo build
 
+      - name: Report disk usage
+        run: df -h
+
       - name: Collect coverage
         run: |
           curl -sL https://github.com/mozilla/grcov/releases/latest/download/grcov-x86_64-unknown-linux-gnu.tar.bz2 | tar jxf -