update ci script

.github/workflows/main.yml

@@ -3,28 +3,38 @@ on:
     types: [opened, synchronize, reopened]
   push:
   workflow_dispatch:
+
 jobs:
   build:
     strategy:
       fail-fast: false
       matrix:
-        lambdapi-version: [lambdapi,lambdapi.3.0.0] #lambdapi.2.6.0,lambdapi.2.5.1,lambdapi.2.5.0,lambdapi.2.4.1,lambdapi.2.4.0,lambdapi.2.3.1]
+        lambdapi-version: [dev, 3.0.0]
+
     runs-on: ubuntu-latest
+
     steps:
       - name: Check out library
         uses: actions/checkout@v7
+
       - name: Install ocaml and opam
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: 5.3.0
-          # lambdapi.2.3.0 dependencies require ocaml < 5.0.0
-      - 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'
-      - name: Install ${{ matrix.lambdapi-version }}
-        run: opam install ${{ matrix.lambdapi-version }}
+          ocaml-compiler: 5.5
+          opam-repositories: |
+            default: https://github.com/ocaml/opam-repository.git
+            lambdapi: https://github.com/deducteam/opam-lambdapi-repository.git
+
+      - name: Install lambdapi.${{ matrix.lambdapi-version }}
+        run: opam install lambdapi.${{ matrix.lambdapi-version }}
+        if: matrix.lambdapi-version != 'dev'
+
+      - name: Install lambdapi development version
+        run: |
+          opam pin -n --dev-repo lambdapi
+          opam install lambdapi
+        if: matrix.lambdapi-version == 'dev'
+
       - name: Check library
         run: |
           eval $(opam env)