mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 02:06:32 +00:00
Try to fix Windows CI by installing happy first.
We're having the build fail with ``` windows\ghc-8.6.5\mingw\bin\strip.exe: unable to rename 'C:\sr\snapshots\c886f694\bin\happy.exe'; reason: File exists ```
This commit is contained in:
@@ -132,6 +132,7 @@ jobs:
|
||||
- name: Install dependencies
|
||||
run: |
|
||||
stack update
|
||||
stack install happy
|
||||
stack test --dependencies-only --fast
|
||||
- name: Build and test
|
||||
shell: cmd
|
||||
|
||||
Reference in New Issue
Block a user