trim

edwintorok · Apr 25, 2024 · 202296f · 202296f
1 parent 38b20c5
commit 202296f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/codechecker.yml b/.github/workflows/codechecker.yml
@@ -32,7 +32,7 @@ jobs:
         run: opam exec -- dune rules | opam exec -- dune-compiledb
 
       - name: Trim dune cache
-        run: dune cache trim --size=2GiB
+        run: opam exec -- dune cache trim --size=2GiB
 
       - name: Fixup paths
         run: |

diff --git a/.github/workflows/generate-and-build-sdks.yml b/.github/workflows/generate-and-build-sdks.yml
@@ -43,7 +43,7 @@ jobs:
           path: _build/install/default/xapi/sdk/powershell/*
 
       - name: Trim dune cache
-        run: dune cache trim --size=2GiB
+        run: opam exec -- dune cache trim --size=2GiB
 
   build-c-sdk:
     name: Build C SDK

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -51,4 +51,4 @@ jobs:
         run: df -h || true
 
       - name: Trim dune cache
-        run: dune cache trim --size=2GiB
+        run: opam exec -- dune cache trim --size=2GiB