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