Make sure Irmin deps are solved from its lock file

pitag-ha · Dec 2, 2023 · ad0b21e · ad0b21e
1 parent 1a76e08
commit ad0b21e
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/fuzzy-ci.yml b/.github/workflows/fuzzy-ci.yml
@@ -226,15 +226,17 @@ jobs:
     - name: Decompress Irmin tarball
       run: tar xvf irmin-$IRMIN_VERSION.tbz -C irmin --strip-components=1
 
-    - name: Get Irmin's lock file
+    - name: Get Irmin's lock files
       run: |
-        # Checking out the merge branch to get the updated lock file in case of lock file update
+        # If the lock files are updated in the PR (e.g. the PR upgrades the OCaml version), they need to be checked out to the right branch
         git checkout ${{ github.sha }}
-        cp .github/workflows/fuzzy-ci-helpers/irmin-$IRMIN_VERSION.opam-locked irmin/irmin.opam.locked
+        cp .github/workflows/fuzzy-ci-helpers/irmin*.opam.locked irmin/
 
     - name: Install Irmin's dependencies
       run: |
-        opam install ./irmin.opam.locked --yes
+        opam pin add irmin . --locked --with-test --deps-only --yes
+        opam pin add irmin-pack . --locked --with-test --deps-only --yes
+        opam pin add irmin-tezos . --locked --with-test --deps-only --yes
       working-directory: irmin
 
     - name: Prune Irmin