diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-10-03 11:20:44 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-03 11:20:44 -0700 |
commit | 7a4ab4f3b50dabb61eb461adffd8e813d78c8282 (patch) | |
tree | ce5679a0c42a798ccf85eaafd11579ed495b63e5 /windows | |
parent | 5307868de52e76009b5d705b43fa75a7eaebf9d3 (diff) | |
download | pandoc-7a4ab4f3b50dabb61eb461adffd8e813d78c8282.tar.gz |
Travis: don't build benchmarks on ghc 7.10.3 or 8.0.2.
The build is timing out, maybe this will help.
Diffstat (limited to 'windows')
0 files changed, 0 insertions, 0 deletions