summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2022-10-29 10:57:05 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2022-10-29 10:57:05 -0700
commit3ceb7a626132df337f3d8866d023063a874a950c (patch)
tree5aaaf3ed8ecf041c0489ebcbe3322c98c006139c /.github/workflows
parent1690a240e0db6f9e08d54bf9cf75a21314e75313 (diff)
Nightly windows build: use --local-bin-path to place binary.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/nightly.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 7c106acb9..378674ab8 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -57,8 +57,7 @@ jobs:
for /f %%a in ('powershell -Command "Get-Date -format yyyy-MM-dd"') do set THEDATE=%%a
set ARTIFACTS=%CD%\nightly-windows\pandoc-nightly-windows-%THEDATE%
mkdir %ARTIFACTS%
- stack build --flag pandoc-cli:nightly --flag pandoc:embed_data_files pandoc-cli
- forfiles /P .\.stack-work\install /M pandoc*.exe /S /C "cmd /C copy @path %%ARTIFACTS%%"
+ stack install --local-bin-path %ARTIFACTS% --flag pandoc-cli:nightly --flag pandoc:embed_data_files pandoc-cli
copy COPYRIGHT %ARTIFACTS%
ren %ARTIFACTS%\COPYRIGHT COPYRIGHT.txt
echo Built from %GITHUB_SHA% > %ARTIFACTS%\README.nightly.txt