From 995d89c7dc17479a3c0c442fc8f40c1a1a16b025 Mon Sep 17 00:00:00 2001
From: GlebSolovev <lionyoung@mail.ru>
Date: Thu, 23 May 2024 07:58:59 +0200
Subject: [PATCH] Try to make opam cache work on CI

---
 .github/workflows/coqpilot.yml | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
index f6b04c57..26521fc0 100644
--- a/.github/workflows/coqpilot.yml
+++ b/.github/workflows/coqpilot.yml
@@ -31,6 +31,16 @@ 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
@@ -38,14 +48,6 @@ jobs:
         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