Don't cache bitwuzla CI (Fixes #159)

formalsec · Jun 23, 2024 · b4ac590 · b4ac590
1 parent 4f3c4ac
commit b4ac590
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-bitwuzla.yml b/.github/workflows/test-bitwuzla.yml
@@ -21,7 +21,7 @@ jobs:
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: "4.14"
-          dune-cache: true
+          dune-cache: false
           allow-prerelease-opam: true
 
       - name: Install dependencies