modify CI params

sneeuwballen · Oct 30, 2023 · c7017d6 · c7017d6
1 parent 5361350
commit c7017d6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -11,10 +11,11 @@ jobs:
     strategy:
       matrix:
         #os: [macos-latest, ubuntu-latest, windows-latest]
-        os: [ubuntu-latest, windows-latest]
+        os: [ubuntu-latest]
         ocaml-compiler:
           - 4.08.x
           - 4.13.x
+          - 5.1.x
     steps:
     - uses: actions/checkout@v2
     - uses: ocaml/setup-ocaml@v2