From 10b5abb9a0804af968ef6e77b69a1dbc2d714133 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 4 Oct 2020 08:33:16 -0700
Subject: [PATCH] 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
```
---
.github/workflows/ci.yml | 1 +
1 file changed, 1 insertion(+)
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