diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7f0a7d78..5d826829 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 }}