on master help sign in
Expect haddock failure for Agda (2.5.3).
8fff76aLuke Murphy
build-constraints.yaml+1
@@ -3907,6 +3907,7 @@ expected-haddock-failures:
3907 - MemoTrie # https://github.com/conal/MemoTrie/issues/10
3907 - MemoTrie # https://github.com/conal/MemoTrie/issues/10
3908 - text-generic-pretty # https://github.com/fpco/stackage/pull/2160
3908 - text-generic-pretty # https://github.com/fpco/stackage/pull/2160
3909 - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4
3909 - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4
3910+ - Agda # https://github.com/agda/agda/issues/2748
3910
3911
3911 # Haddock bugs
3912 # Haddock bugs
3912 - swagger2 # https://github.com/GetShopTV/swagger2/issues/66
3913 - swagger2 # https://github.com/GetShopTV/swagger2/issues/66