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 /test/tables.html5 | |
| 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 'test/tables.html5')
0 files changed, 0 insertions, 0 deletions