[v8.20] CI Fixup

rocq-archive · Aug 29, 2024 · 9ea05d6 · 9ea05d6
1 parent cf7eba3
commit 9ea05d6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -43,7 +43,7 @@ jobs:
       matrix:
         ocaml-compiler: [4.12.x, 4.13.x, 4.14.x]
         test-target: [test]
-        extra-opam: [coq.dev]
+        extra-opam: [coq.8.20.dev]
         include:
         - ocaml-compiler: 4.14.x
           test-target: test
@@ -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" }