From 10b6e950d0074a3614058ed87ec8dfa26eb238b1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 15 Feb 2024 14:50:54 -0500 Subject: [PATCH] CI --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2c76144b..6a5b3869 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,7 @@ jobs: #- macos-latest #- windows-latest ocaml-compiler: - - 4.12.x + - 4.14.x - 5.1.x runs-on: ${{ matrix.os }} steps: