Remove skipped Haddock and close #195
commit7d207ebd08ffe7daa26c8abd17f940311a148bff
authorMichael Snoyman <michael@snoyman.com>
dateThu 26 Mar 2015, 07:57 (12 years ago)
parent313fd69
build-constraints.yaml−3
@@ -1140,9 +1140,6 @@ expected-haddock-failures:
11401140 # builds. Could consider special-casing this requirement.
11411141 - gtk
11421142
1143− # https://github.com/GaloisInc/cryptol/issues/195
1144− - cryptol
1145−
11461143# Benchmarks which should not be built. Note that Stackage does *not* generally
11471144# build benchmarks. The difference here will be whether dependencies for these
11481145# benchmarks are included or not.