Skip benchmarks for minisat-solver
commit460c12622b843360520fb1f932dcb83171a6753b
authorAlexey Zabelin <hello@alexeyzabelin.com>
dateSat 16 Jun 2018, 21:15 (8 years ago)
parentf059af3
build-constraints.yaml+1
@@ -4170,6 +4170,7 @@ skipped-benchmarks:
41704170 # These packages
41714171 # These can also be checked for updates periodically.
41724172 - o-clock # base-4.10 and time-1.8 via tiempo
4173+ - minisat-solver # Cabal-2.2.0.1 via easyrender
41734174
41744175
41754176 # Compilation failures