From 79bcff11747a2a8996002ab3ccc6aa8abccf8515 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Fri, 14 Jun 2024 09:26:09 +0200 Subject: [PATCH] revert --- .github/workflows/build.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5b2e98e..efd3bbf 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -54,9 +54,6 @@ jobs: allow-prerelease-opam: true dune-cache: true - - run: echo "D:\cygwin\bin" | Out-File -Append -FilePath $env:GITHUB_PATH -Encoding utf8 - if: runner.os == 'Windows' - - run: opam pin add mingw-w64-shims git+https://github.com/dra27/mingw-w64-shims.git#internals if: runner.os == 'Windows'