haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-16 09:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Re-enable haddocks for Adga.

Browse Source 
Closes https://github.com/agda/agda/issues/2748#issuecomment-328804066.
This commit is contained in:
Luke Murphy 2017-09-12 11:59:57 +02:00
parent 8fff76ac40
commit 8611bc166a
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -3907,7 +3907,6 @@ expected-haddock-failures:
- MemoTrie # https://github.com/conal/MemoTrie/issues/10
- text-generic-pretty # https://github.com/fpco/stackage/pull/2160
- cubicbezier # https://github.com/kuribas/cubicbezier/issues/4
- Agda # https://github.com/agda/agda/issues/2748
# Haddock bugs
- swagger2 # https://github.com/GetShopTV/swagger2/issues/66