diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
index 8210879a..f6b04c57 100644
--- 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