diff --git a/.github/workflows/build-dev-repo.yml b/.github/workflows/build-dev-repo.yml index ad4691514..359e13b55 100644 --- a/.github/workflows/build-dev-repo.yml +++ b/.github/workflows/build-dev-repo.yml @@ -10,6 +10,7 @@ jobs: os: - ubuntu-latest - macos-latest + - windows-latest ocaml-compiler: - 4.11.x - 4.08.x