wip

rjbou · Jan 29, 2025 · 1b92b96 · 1b92b96
1 parent 49ebb49
commit 1b92b96
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/ci.ml b/.github/workflows/ci.ml
@@ -17,8 +17,7 @@ let latest_ocaml4 = "4.14.2"
 let latest_ocaml5 = "5.3.0" (* Add this number to ocamls below when the next version comes out *)
 let ocamls = [
   (* Fully supported versions *)
-  "4.08.1"; "4.09.1"; "4.10.2"; "4.11.2"; "4.12.1"; "4.13.1";
-  "5.0.0"; "5.1.1"; "5.2.1";
+  "4.08.1";
 
   (* The last elements of the list after 4.14 will be used as default versions *)
   latest_ocaml4; latest_ocaml5;

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, 5.2.1, 4.14.2, 5.3.0 ]
+        ocamlv: [ 4.08.1, 4.14.2, 5.3.0 ]
       fail-fast: true
     steps:
     - name: Install bubblewrap