wip

Deducteam · Oct 19, 2023 · 41ee836 · 41ee836
1 parent 07fa795
commit 41ee836
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -8,7 +8,8 @@ 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.4.0, lambdapi.2.3.1]
+        # lambdapi.2.3.0 dependencies require ocaml < 5.0.0
     runs-on: ubuntu-latest
     steps:
       - name: Check out library