[v8.20] CI fixup

rocq-archive · Aug 29, 2024 · da00061 · da00061
1 parent cf7eba3
commit da00061
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -103,7 +103,6 @@ jobs:
         run: opam install ${{ matrix.extra-opam }}
       - name: Install SerAPI deps
         run: |
-          opam install --ignore-constraints-on=coq --deps-only vendor/coq-lsp/coq-lsp.opam
           opam install --ignore-constraints-on=coq,coq-lsp --deps-only .
       - name: Build SerAPI
         run: |