From 78d6d33a3314527fe6568f277abc644b7d2c1af7 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Fri, 13 Feb 2026 01:00:23 -0800 Subject: [PATCH] ci: fix Windows CI --- .github/workflows/workflow.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 8981f395e3d..8c5aacf9c44 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -213,7 +213,7 @@ jobs: run: sudo apt update - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v3 + uses: anmonteiro/setup-ocaml@patch-1 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} @@ -388,6 +388,7 @@ jobs: - name: Setup Cygwin uses: cygwin/cygwin-install-action@v6 with: + site: https://mirrors.sonic.net/cygwin/ packages: ocaml gcc-core make - name: Bootstrap Dune run: make bootstrap