Merge pull request #4271 from gwils/tasty-hedgehog

Re-enable tasty-hedgehog
This commit is contained in:
Jens Petersen 2019-01-03 20:01:44 +09:00 committed by GitHub
commit 7d575c41ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2799,6 +2799,7 @@ packages:
- sv
- sv-cassava
- sv-core
- tasty-hedgehog
"Ismail Mustafa <ismailmustafa@rocketmail.com> @ismailmustafa":
- handwriting < 0
@ -3819,7 +3820,6 @@ packages:
- data-clist
- brick
- hedgehog-fn
- tasty-hedgehog
# Packages in the build plan that are blocked from inclusion due to
# compilation failure with ghc 8.6