From 943396613732af63581ae17d93686dc5436d75e3 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 3 Jun 2024 19:07:48 +0200 Subject: [PATCH] [ci] fix --- .github/workflows/ci.yml | 2 +- README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b460ccb8..cc1f678a 100644 --- 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 index ae5db7a6..dc1fd0e4 100644 --- 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