idris regression-and-sanity-tests intermittent failures (#1382)

This commit is contained in:
Jens Petersen 2016-04-24 23:26:48 +09:00
parent ecff9a6451
commit 6d7d3a7c5a

View File

@ -2718,6 +2718,8 @@ expected-test-failures:
# https://github.com/fpco/stackage/pull/1340
- simpleirc
# https://github.com/fpco/stackage/issues/1382
- idris
# end of expected-test-failures
# Benchmarks which are known not to build. Note that, currently we do not run