diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0d18b596..c0610557 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,7 +15,7 @@ jobs: - os: macos-latest ocaml: 4 - os: windows-latest - ocaml: 4 + ocaml: 5 fail-fast: false runs-on: ${{ matrix.os }}