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.

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

Add option to filter implementations (feature request) #8

Open
dariokdg opened this issue Aug 6, 2018 · 1 comment
Open

Add option to filter implementations (feature request) #8

dariokdg opened this issue Aug 6, 2018 · 1 comment
Labels
enhancement PR welcome

Comments

@dariokdg
Copy link

dariokdg commented Aug 6, 2018

Tool is working great at the moment - I would just like to have an option to filter which implementation(s) I would like to check as I'm not interested in working with all 30+ of them.

Thanks!
@Crissov
Copy link
Contributor

Crissov commented Oct 10, 2018 •
edited
Loading

Since this would require per implementation settings anyway, it would be nice if it was extended to be able to submit options to them, e.g. to toggle extensions.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement PR welcome
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@xoofx @Crissov @dariokdg