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

feat: add filter to HTML report #650

Merged
merged 3 commits into from Nov 30, 2021
Merged

Conversation

joshuaobrien
Copy link
Contributor

@joshuaobrien joshuaobrien commented Nov 15, 2021

Continuation of #519

@bcoe
Copy link
Member

bcoe commented Nov 19, 2021

@joshuaobrien thank you, I will try to take a look over the weekend.

@joshuaobrien
Copy link
Contributor Author

Any luck, @bcoe?

@bcoe
Copy link
Member

bcoe commented Nov 30, 2021

@joshuaobrien I failed at doing any open source work on the weekend, I'll get this merged as soon as possible, thanks for keeping on top of it.

@bcoe bcoe changed the title Add searching to HTML report feat: add filter to HTML report Nov 30, 2021
@bcoe bcoe merged commit eab47f7 into istanbuljs:master Nov 30, 2021
@bcoe
Copy link
Member

bcoe commented Nov 30, 2021

@joshuaobrien works like a charm, thank you for doing this work.

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.

None yet

2 participants