GitHub workflow: fix caching

This splits the workflow into two jobs so that, even if the test fails, we still cache the .opam directory
IntelLabs · Jan 7, 2025 · cb25e0b · cb25e0b
1 parent 3b7de26
commit cb25e0b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -10,7 +10,7 @@ env:
   OPAMROOT: ${{ github.workspace }}/.opam
 
 jobs:
-  test:
+  setup:
     runs-on: ubuntu-latest
 
     steps:
@@ -52,6 +52,9 @@ jobs:
           opam env
           opam install . --deps-only --with-test --with-doc --yes
 
+  test:
+    needs: setup
+    steps:
       - name: Build
         run: |
           eval $(opam env)