Limit CI to macos-latest 4.14.x

goblint · Jul 26, 2024 · d90e595 · d90e595
1 parent ac3a40a
commit d90e595
Showing 1 changed file with 2 additions and 18 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -11,27 +11,11 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - macos-13
-          - ubuntu-latest
+          - macos-latest
+          # - ubuntu-latest
           # - windows-latest
         ocaml-version:
-          - 4.05.0
-          - 4.06.1
-          - 4.07.1
-          - 4.08.1
-          - 4.09.1
-          - 4.10.1
-          - 4.11.2
-          - 4.12.0
-          - 4.13.1
           - 4.14.x
-          - 5.0.0
-          - 5.1.0
-          - 5.2.0
-
-        include:
-          - os: macos-latest
-            ocaml-version: 4.14.x
 
     runs-on: ${{ matrix.os }}