Re-enable haddocks for Adga.
Closes https://github.com/agda/agda/issues/2748#issuecomment-328804066.
commit8611bc166af6d9a159e92366b62991d8107d81f1
authorLuke Murphy <lukewm@riseup.net>
dateTue 12 Sep 2017, 11:59 (9 years ago)
parent8fff76a
build-constraints.yaml−1
@@ -3907,7 +3907,6 @@ 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
39113910
39123911 # Haddock bugs
39133912 - swagger2 # https://github.com/GetShopTV/swagger2/issues/66