Skip to content

Conversation

zkoppert
Copy link
Member

@zkoppert zkoppert commented Aug 2, 2023

fixes #46
also a few other linting cleanups

@zkoppert zkoppert added the enhancement New feature or request label Aug 2, 2023
@zkoppert zkoppert merged commit c3d29d0 into main Aug 2, 2023
@zkoppert zkoppert deleted the report-query branch August 2, 2023 20:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

feat: Include search query in the metrics report markdown/json
1 participant