Merge pull request #25 from jeremiedimino/adjust-ci-settings

Adjust CI settings
janestreet · Apr 18, 2022 · 49e54ca · 49e54ca
2 parents 2713146 + 01eb0d0
commit 49e54ca
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -17,18 +17,15 @@ jobs:
           - ubuntu-latest
           - windows-latest
         ocaml-version:
-          - 4.11.2
+          - 4.13.1
         include:
           - ocaml-version: 4.10.0
             os: ubuntu-latest
           - ocaml-version: 4.09.1
             os: ubuntu-latest
           - ocaml-version: 4.08.1
             os: ubuntu-latest
-          - ocaml-version: 4.04.2
-            os: ubuntu-latest
-            configurator: true
-          - ocaml-version: 4.02.3
+          - ocaml-version: 4.05.0
             os: ubuntu-latest
 
     env: