Skip to content

Add code coverage tools somewhere and/or a dev guide #204

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
brookslogan opened this issue Aug 15, 2022 · 1 comment
Closed

Add code coverage tools somewhere and/or a dev guide #204

brookslogan opened this issue Aug 15, 2022 · 1 comment
Labels
cleanup improvements to developing&building experience&quality, not directly to built pkg&docs P2 low priority

Comments

@brookslogan
Copy link
Contributor

E.g., something to help catch the missed test case that caused the bug in #200.

We will need to think about whether this should be in CI, part of some sort of development guide. (Other things to put in dev guide: coding&testing standards, suggested editor configs.)
@brookslogan brookslogan added the cleanup improvements to developing&building experience&quality, not directly to built pkg&docs label Aug 15, 2022
@brookslogan brookslogan added the P2 low priority label Aug 30, 2022
@brookslogan brookslogan mentioned this issue Mar 3, 2023
Closed
@dshemetov
Copy link
Contributor

Closing this as outdated.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cleanup improvements to developing&building experience&quality, not directly to built pkg&docs P2 low priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dshemetov @brookslogan