HACK DONT MERGE

creusot-rs · Feb 21, 2025 · 8168b3f · 8168b3f
1 parent 8789962
commit 8168b3f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -81,6 +81,7 @@ jobs:
         cp ci/creusot-config-dummy.toml ~/.config/creusot/Config.toml
     - name: Run tests
       run: cargo test
+    - run: du -d 2 -h ~/.cargo/registry
   why3-deps:
     runs-on: ubuntu-latest
     steps: