trim

edwintorok · Apr 25, 2024 · 1b2e40a · 1b2e40a
1 parent b5ee304
commit 1b2e40a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/codechecker.yml b/.github/workflows/codechecker.yml
@@ -31,6 +31,9 @@ jobs:
       - name: Generate compile_commands.json
         run: opam exec -- dune rules | opam exec -- dune-compiledb
 
+      - name: Trim dune cache
+        run: dune cache trim --size=2GiB
+
       - name: Fixup paths
         run: |
           sed -e 's/"directory".*/"directory": ".",/' <compile_commands.json >cmds.json