diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 0c22bf1465b..3005fdfe5ea 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -41,6 +41,8 @@ jobs: run: | D:\opam\bin\opam --version "D:\opam\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append + "D:\opamroot\.cygwin\root\usr\x86_64-w64-mingw32\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append + "D:\opamroot\.cygwin\root\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append - name: Init opam if: steps.cache-opam.outputs.cache-hit != 'true'