Skip to content

Add back code coverage #43

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
Closed
Empty2k12 opened this issue Oct 30, 2019 · 0 comments · Fixed by #78
Closed

Add back code coverage #43

Empty2k12 opened this issue Oct 30, 2019 · 0 comments · Fixed by #78
Labels
Type: Chore Type of Change: Medium

Comments

@Empty2k12
Copy link
Collaborator

Code coverage would be nice in this project. We used to have code coverage but it got removed in #??.

As of this writing, grcov from Mozilla looks most promising and should investigated for addition once CI is switched over to Github Actions CI after #20 has been done and merged.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Chore Type of Change: Medium
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

CI: enable code coverage with tarpaulin uploading to gh-pages
1 participant
@Empty2k12