Expect haddock failure for Agda (2.5.3).
Please see https://github.com/agda/agda/issues/2748.
commit8fff76ac405078f0a4b63d7d56e65fb988c507ce
authorLuke Murphy <lukewm@riseup.net>
dateMon 11 Sep 2017, 10:52 (9 years ago)
parent722a30b
build-constraints.yaml+1
@@ -3907,6 +3907,7 @@ expected-haddock-failures:
39073907 - MemoTrie # https://github.com/conal/MemoTrie/issues/10
39083908 - text-generic-pretty # https://github.com/fpco/stackage/pull/2160
39093909 - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4
3910+ - Agda # https://github.com/agda/agda/issues/2748
39103911
39113912 # Haddock bugs
39123913 - swagger2 # https://github.com/GetShopTV/swagger2/issues/66