Don't invoke dune before installing it

rocq-archive · Apr 15, 2021 · 54d371f · 54d371f
1 parent 3268409
commit 54d371f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -68,6 +68,9 @@ jobs:
           opam install -y --deps-only -j $NJOBS coq-serapi
           opam pin remove coq-serapi
       - run: opam list
+      - name: Install extra opam
+        run: opam install --ignore-constraints-on=coq $EXTRA_OPAM
+      - run: opam list
       - name: Install Coq via git
         if: ${{ matrix.coq-from-git }}
         run: |
@@ -84,8 +87,6 @@ jobs:
           make
           make install
           popd
-      - name: Install extra opam
-        run: opam install --ignore-constraints-on=coq $EXTRA_OPAM
       - name: Build SerAPI
         run: |
           set -e