Remove old OCaml versions from unlocked CI

goblint · May 7, 2024 · ca23154 · ca23154
1 parent 5f9ed80
commit ca23154
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -21,9 +21,6 @@ jobs:
           - 5.0.x
           - ocaml-variants.4.14.0+options,ocaml-option-flambda
           - 4.14.x
-          - 4.13.x
-          - 4.12.x
-          - 4.10.x
         apron:
           - false
           - true