ci: test more versions of lambdapi (#23)

Deducteam · Nov 19, 2024 · 91aa5e7 · 91aa5e7
1 parent d5126ad
commit 91aa5e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,7 +8,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        lambdapi-version: [lambdapi,lambdapi.2.4.0,lambdapi.2.3.1,lambdapi.2.3.0]
+        lambdapi-version: [lambdapi,lambdapi.2.5.1,lambdapi.2.5.0,lambdapi.2.4.1,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: