Merge pull request #71 from jprider63/master

Fix 7.10 CI
This commit is contained in:
JP 2019-07-09 23:30:04 -04:00 committed by GitHub
commit 74a41d789d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,6 +14,7 @@ flags: {}
extra-deps:
- directory-1.2.7.0
- unliftio-core-0.1.1.0
- process-1.6.5.1
# Control whether we use the GHC we find on the path
# system-ghc: true