Upgrade OCaml

hipsleek · Dec 19, 2024 · 20b9845 · 20b9845
1 parent 6fc359d
commit 20b9845
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -21,7 +21,7 @@ jobs:
           # - macos-latest
           - ubuntu-latest
         ocaml-compiler:
-          - 5.0.0
+          - 5.1.1
 
     runs-on: ${{ matrix.os }}