idris regression-and-sanity-tests intermittent failures (#1382)
commit6d7d3a7c5a1fe5aff66fa48fb83d6c0a4e789025
authorJens Petersen <juhpetersen@gmail.com>
dateSun 24 Apr 2016, 23:26 (10 years ago)
parentecff9a6
build-constraints.yaml+2
@@ -2718,6 +2718,8 @@ expected-test-failures:
27182718 # https://github.com/fpco/stackage/pull/1340
27192719 - simpleirc
27202720
2721+ # https://github.com/fpco/stackage/issues/1382
2722+ - idris
27212723# end of expected-test-failures
27222724
27232725# Benchmarks which are known not to build. Note that, currently we do not run