Skip to content
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.

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

chore: integrate with coveralls.io #7

Merged
merged 1 commit into from
Oct 9, 2020
Merged

Conversation

Qrzy
Copy link
Owner

@Qrzy Qrzy commented Oct 9, 2020

No description provided.

@Qrzy Qrzy force-pushed the coveralls-integration branch 2 times, most recently from 8844e3b to 2f8a305 Compare October 9, 2020 09:08
@Qrzy Qrzy force-pushed the coveralls-integration branch from 2f8a305 to 0d0fd90 Compare October 9, 2020 09:19
@Qrzy Qrzy merged commit 08e52b1 into master Oct 9, 2020
@Qrzy Qrzy deleted the coveralls-integration branch October 9, 2020 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant