Don't run opam init in CI if cache is present (#99)

rems-project · Nov 14, 2024 · e152e81 · e152e81
1 parent e9d7daf
commit e152e81
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/run-cn-examples.yml b/.github/workflows/run-cn-examples.yml
@@ -37,9 +37,14 @@ jobs:
         path: ~/.opam
         key: ${{ matrix.version }}
 
-    - name: Setup opam and install dependencies
+    - name: Setup opam
+      if: steps.cache-opam-restore.outputs.cache-hit != 'true'
+      run: opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
+
+    - name: Install dependencies
       run: |
-        opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
         opam install --deps-only --yes ./cerberus.opam ./cerberus-lib.opam ./cn.opam
     
     - name: Save cached opam