ci: test newer versions of lambdapi (#12)

Author: fblanqui

.github/workflows/main.yml

@@ -8,15 +8,18 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        lambdapi-version: [lambdapi.2.3.0, lambdapi]
+        lambdapi-version: [lambdapi,lambdapi.2.4.0,lambdapi.2.3.1,lambdapi.2.3.0]
+        # lambdapi.2.3.0 dependencies require ocaml < 5.0.0
     runs-on: ubuntu-latest
     steps:
       - name: Check out library
         uses: actions/checkout@v3
       - name: Install ocaml and opam
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.14.0
+          ocaml-compiler: 4.14.1
+      - name: Install required libraries
+        run: sudo apt-get install -y libev-dev
       - name: Setup opam (when testing the development version of lambdapi)
         run: opam pin -n --dev-repo lambdapi
         if: matrix.lambdapi-version == 'lambdapi'