From 8683898759c32f5f1302ee78c3d8a8bb8fe69c62 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Sat, 19 Jul 2025 06:37:04 +0200 Subject: [PATCH] Fix Windows CI --- .github/workflows/ci.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 723cba64a9..99fc70fa64 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -360,6 +360,14 @@ jobs: if: runner.os != 'Windows' run: make -C tests/gentype_tests/typescript-react-example clean test + # On Windows, after running setup-ocaml (if it wasn't cached yet or the cache couldn't be restored), + # Cygwin bash is used instead of Git Bash for Windows, breaking the rewatch tests. + # So we need to adjust the path to bring back Git Bash for Windows. + - name: Rewatch tests need Git Bash for Windows + if: ${{ runner.os == 'Windows' }} + run: echo "C:\Program Files\Git\bin" >> $GITHUB_PATH + shell: bash + - name: Run rewatch tests run: ./rewatch/tests/suite-ci.sh shell: bash