[v8.20] [ci] Build Coq after final OPAM setup.

Otherwise we risk the Coq local build to be inconsistent.
rocq-archive · Aug 29, 2024 · bdbe8e9 · bdbe8e9
1 parent 7087706
commit bdbe8e9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -79,6 +79,9 @@ jobs:
             coq-core-dev: http://coq.inria.fr/opam/core-dev
       - name: Display OPAM Setup
         run: opam list
+      - name: Install SerAPI deps
+        run: |
+          opam install --ignore-constraints-on=coq,coq-lsp --deps-only .
       - name: Install Coq via git
         if: ${{ matrix.coq-from-git }}
         run: |
@@ -101,9 +104,6 @@ jobs:
       - name: Extra OPAM Setup (Coq.dev, misc extra tools)
         if: ${{ matrix.extra-opam != '' }}
         run: opam install ${{ matrix.extra-opam }}
-      - name: Install SerAPI deps
-        run: |
-          opam install --ignore-constraints-on=coq,coq-lsp --deps-only .
       - name: Build SerAPI
         run: |
           opam exec -- make -j "$NJOBS" SERAPI_COQ_HOME="$SERAPI_COQ_HOME"