[v8.20] CI Fixup

rocq-archive · Aug 29, 2024 · 82717aa · 82717aa
1 parent cf7eba3
commit 82717aa
Show file tree

Hide file tree

Showing 2 changed files with 1 addition 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: |

diff --git a/coq-serapi.opam b/coq-serapi.opam
@@ -34,6 +34,7 @@ depends: [
   "ocamlfind"           { >= "1.8.0"               }
   "ppx_import"          { >= "1.11.0" & < "2.0"    }
   "ppx_deriving"        { >= "4.2.1"               }
+  "ppx_deriving_yojson" { >= "3.4" }
   "sexplib"             { >= "v0.13.0" & < "v0.18" }
   "ppx_sexp_conv"       { >= "v0.13.0" & < "v0.18" }
   "ppx_compare"         { >= "v0.13.0" & < "v0.18" }