Enable dune-cache on CI

JetBrains-Research · May 23, 2024 · a3e32cd · a3e32cd
1 parent eb83834
commit a3e32cd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
@@ -36,6 +36,7 @@ jobs:
       uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
+        dune-cache: true
 
     - name: Cache opam dependencies
       id: cache-opam