tentative

rjbou · Aug 30, 2024 · 7f6c998 · 7f6c998
1 parent 2d5ff33
commit 7f6c998
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -68,7 +68,7 @@ jobs:
     needs: Analyse
     strategy:
       matrix:
-        ocamlv: [ 4.08.1, 4.09.1, 4.10.2, 4.11.2, 4.12.1, 4.13.1, 5.0.0, 5.1.1, 4.14.1 ]
+        ocamlv: [ 4.14.1 ]
       fail-fast: true
     steps:
     - name: Install bubblewrap