New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Coverage on GHC 8.0 #19

Merged

int-index merged 1 commit into master from coverage-8.0

Apr 30, 2016

Owner

int-index commented Apr 30, 2016

No description provided.

coveralls commented Apr 30, 2016

Coverage increased (+17.3%) to 36.216% when pulling 8817b20 on coverage-8.0 into 3977c8b on master.


          Coverage on GHC 8.0

04c09da

int-index force-pushed the coverage-8.0 branch from 8817b20 to 04c09da Compare

April 30, 2016 13:11

int-index merged commit fd5452c into master

int-index deleted the coverage-8.0 branch

April 30, 2016 13:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet