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

Merge into diff_cover #2

Open
DominicOram opened this issue Dec 15, 2023 · 1 comment
Open

Merge into diff_cover #2

DominicOram opened this issue Dec 15, 2023 · 1 comment

Comments

@DominicOram
Copy link
Collaborator

We should try to avoid having to maintain this ourselves and merge it with the wider community. As such we should do Bachmann1234/diff_cover#379

@dperl-dls
Copy link
Collaborator

Yes we should, but it'll be a little more involved to add support for all the various things one can specify with arguments and format it to the internal structure of diff_cover.

I'll probably look at this next week.

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

No branches or pull requests

2 participants