Debug coverage workflow

.github/workflows/coverage.yml

@@ -38,21 +38,37 @@ jobs:
           echo "RUSTFLAGS=-Cinstrument-coverage" >> $GITHUB_ENV
           echo "LLVM_PROFILE_FILE=${GITHUB_WORKSPACE}/target/coverage/gcov-%p-%m.profraw" >> $GITHUB_ENV
 
+      - name: Report disk usage
+        run: df -h
+
       - name: Build with cargo
         run: python x.py build --all
 
-      - name: Run cargo tests
-        run: python x.py test --all
+      - name: Report disk usage
+        run: df -h
+
+      - name: Clear coverage generated by prusti-contracts-build
+        run: rm -rf target/coverage
+
+      - name: Report disk usage
+        run: df -h
+
+      - name: Run quick cargo tests
+        run: python x.py test --all quick
+
+      - name: Report disk usage
+        run: df -h
 
       - name: Rerun quick cargo tests, enabling debug dumps to cover more code
-        # Disabled because it causes CI to run out of disk space
-        if: false
         run: python x.py test quick
         env:
           PRUSTI_DUMP_DEBUG_INFO: true
           PRUSTI_DUMP_VIPER_PROGRAM: true
           PRUSTI_IGNORE_REGIONS: true
 
+      - name: Report disk usage
+        run: df -h
+
       - name: Check prusti-contracts
         run: |
           cd prusti-contracts/prusti-contracts-test/
@@ -61,6 +77,12 @@ jobs:
       - name: Report disk usage
         run: df -h
 
+      - name: Run cargo tests
+        run: python x.py test --all
+
+      - 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 -