Skip to content
This repository has been archived by the owner on Dec 18, 2019. It is now read-only.

Quality: Report coverage on coverall.io #53

Merged
merged 1 commit into from Aug 21, 2016

Conversation

Hywan
Copy link
Member

@Hywan Hywan commented Aug 21, 2016

Publish coverage reports on coveralls.io.

@Hywan Hywan added this to the 0.1.0 milestone Aug 21, 2016
@Hywan Hywan self-assigned this Aug 21, 2016
@Hywan Hywan merged commit 62d0db2 into tagua-vm:master Aug 21, 2016
@Hywan Hywan removed the in progress label Aug 21, 2016
@coveralls
Copy link

Coverage Status

Changes Unknown when pulling 62d0db2 on Hywan:quality_coverage into * on tagua-vm:master*.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants