[ci] fix

rocq-archive · Jun 3, 2024 · 9433966 · 9433966
1 parent 69d6fb8
commit 9433966
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -103,8 +103,8 @@ jobs:
         run: opam install ${{ matrix.extra-opam }}
       - name: Install SerAPI deps
         run: |
-          opam install --ignore-constraints-on=coq --deps-only .
           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: |
           opam exec -- make -j "$NJOBS" SERAPI_COQ_HOME="$SERAPI_COQ_HOME"

diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 **Note**: Coq SerAPI has now stopped development, the 0.20 release for
-Coq 8.20 will be the last managed by us. Coq SerAPI has succeeded by
-[coq-lsp](https://github.com/ejgallego/coq-lsp/), which solves many
+Coq 8.20 will be the last managed by us. Coq SerAPI has been succeeded
+by [coq-lsp](https://github.com/ejgallego/coq-lsp/), which solves many
 longstanding issues and feature requests.
 
 See https://github.com/ejgallego/coq-serapi/issues/252 for more