From 6d7d3a7c5a1fe5aff66fa48fb83d6c0a4e789025 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 24 Apr 2016 23:26:48 +0900
Subject: [PATCH] idris regression-and-sanity-tests intermittent failures
 (#1382)

---
 build-constraints.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index bf26fabb..ff55a4df 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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