From 275227b1e4522dae832990ae108f633d935e0a8a Mon Sep 17 00:00:00 2001 From: Anton Kochkov Date: Thu, 3 Dec 2020 17:05:03 +0800 Subject: [PATCH] Try Windows CI again --- .github/workflows/build-dev-repo.yml | 1 + 1 file changed, 1 insertion(+) 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