Merge pull request #510 from LPCIC/ci-on-ocaml-5

test ocaml 5

.github/workflows/main.yml

@@ -37,6 +37,16 @@ jobs:
       env:
         OPAMWITHTEST: 'true'
 
+  play:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: avsm/setup-ocaml@v2
+      with:
+        ocaml-compiler: 5.1.x
+    - run: |
+        opam install ./coq-elpi.opam
+
   release:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/')

README.md

@@ -73,6 +73,10 @@ opam pin add coq-elpi https://github.com/LPCIC/coq-elpi.git
 One can also clone this repository and type `make`, but check you have
 all the dependencies installed first (see [coq-elpi.opam](coq-elpi.opam)).
 
+We recommend to look at the [CI setup](.github/workflows) for
+ocaml versions being tested. Also, we recommend to install `dot-merlin-reader`
+and `ocaml-lsp-server` (version 1.15).
+
 </p></details>
 
 ## Documentation

coq-elpi.opam

@@ -16,6 +16,8 @@ depends: [
   "stdlib-shims"
   "elpi" {>= "1.16.5" & < "1.18.0~"}
   "coq" {>= "8.18" & < "8.19~" }
+  "dot-merlin-reader" {with-dev}
+  "ocaml-lsp-server" {with-dev}
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"