From 145aeaff13614bd9a58fecb8688a599e1286ae0c Mon Sep 17 00:00:00 2001 From: Arya Irani Date: Tue, 19 Mar 2024 09:37:37 -0600 Subject: [PATCH] wget isn't on the path in windows --- .github/workflows/release.yaml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index ebbc481a8f..8541d8d5ba 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml @@ -117,11 +117,13 @@ jobs: mkdir -p /tmp/ucm/ui # we need /tmp/ucm on the next line and /tmp/ucm/ui further down if [[ ${{runner.os}} = 'Windows' ]]; then cp $(stack exec -- where unison) /tmp/ucm/ucm.exe + wget="C:/msys64/usr/bin/wget.exe" else cp $(stack exec -- which unison) /tmp/ucm/ucm + wget="wget" fi - wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip + $wget -O/tmp/unisonLocal.zip https://github.com/unisonweb/unison-local-ui/releases/download/latest/unisonLocal.zip unzip -d /tmp/ucm/ui /tmp/unisonLocal.zip if [[ ${{runner.os}} = 'Windows' ]]; then