diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f9676ec..862b46b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -41,17 +41,9 @@ jobs: cache-prefix: "z1" allow-prerelease-opam: true - - - name: wintest run: | - bash -c "ls C:/hostedtoolcache/windows/cygwin/3.5.3/x86_64/setup-x86_64.exe" - bash -c "mkdir -p D:/.opam/.cygwin" - bash -c "cp C:/hostedtoolcache/windows/cygwin/3.5.3/x86_64/setup-x86_64.exe D:/.opam/.cygwin/" - bash -c "ls D:/.opam/" - bash -c "ls D:/.opam/.cygwin" - bash -c "ls D:/cygwin/var/log" - bash -c "rm -rf D:/cygwin/var/log" + bash -c "cat D:/cygwin/var/log/setup.log.full" if: runner.os == 'Windows' - run: opam install -v . --with-test --deps-only