diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-10-04 08:33:16 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-10-04 08:33:16 -0700 |
| commit | 10b5abb9a0804af968ef6e77b69a1dbc2d714133 (patch) | |
| tree | a8a3d0b168915cc862a16729d53afce2ad74798e /.github/workflows | |
| parent | 01a6b071fa99358a9c4fca68612e9718ef0fca5f (diff) | |
| download | pandoc-10b5abb9a0804af968ef6e77b69a1dbc2d714133.tar.gz | |
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
```
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index af8f166ed..357a47552 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 |