Skip benchmarks for minisat-solver

This commit is contained in:
Alexey Zabelin 2018-06-16 21:15:59 -04:00
parent f059af3392
commit 460c12622b
No known key found for this signature in database
GPG Key ID: 3A169985478324E9

View File

@ -4170,6 +4170,7 @@ skipped-benchmarks:
# These packages
# These can also be checked for updates periodically.
- o-clock # base-4.10 and time-1.8 via tiempo
- minisat-solver # Cabal-2.2.0.1 via easyrender
# Compilation failures