From 1e8b159807e957910eeafc2a0c52b5413cdfec67 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Thu, 20 Jun 2024 12:37:56 +0200 Subject: [PATCH] WIP --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 073ac0a..bdc95bf 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -39,7 +39,7 @@ jobs: allow-prerelease-opam: true - run: bash -c "rm -rf D:/cygwin/var/log" - if: runner.os = "Windows" + if: runner.os == 'Windows' - run: opam install -v . --with-test --deps-only