From 91aa5e7ced815aeb6377bce1bac13ecc477f32a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?=
 <fblanqui@users.noreply.github.com>
Date: Tue, 19 Nov 2024 16:15:41 +0100
Subject: [PATCH] ci: test more versions of lambdapi (#23)

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3c2ec2b..59c12af 100644
--- 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: