Try to make opam cache work on CI

JetBrains-Research · May 23, 2024 · 995d89c · 995d89c
1 parent a3e32cd
commit 995d89c
Showing 1 changed file with 10 additions and 8 deletions.
diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
@@ -31,21 +31,23 @@ jobs:
     steps:
     - name: Checkout tree
       uses: actions/checkout@v4
+
+    - name: Restore cached opam dependencies
+      id: cache-opam
+      uses: actions/cache@v3
+      with:
+        path: |
+          ~/.opam/
+          /root/.opam/
+        key: opam-${{ matrix.os }}-${{ matrix.ocaml-compiler }}-${{ env.coqlsp-version }}
+        restore-keys: opam-${{ matrix.os }}-${{ matrix.ocaml-compiler }}-
 
     - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
       uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
         dune-cache: true
 
-    - name: Cache opam dependencies
-      id: cache-opam
-      uses: actions/cache@v3
-      with:
-        path: ~/.opam
-        key: opam-${{ matrix.os }}-${{ matrix.ocaml-compiler }}-${{ env.coqlsp-version }}
-        restore-keys: opam-${{ matrix.os }}-${{ matrix.ocaml-compiler }}-
-
     - name: Install opam dependencies
       env:
           OPAMYES: true