Skip to content

Conversation

@msridhar
Copy link
Collaborator

So it can be imported into other tools and queried. Off by default for now.

@msridhar msridhar merged commit c0cd139 into master Mar 18, 2025
4 checks passed
@msridhar msridhar deleted the generate-json branch March 18, 2025 23:20
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.

2 participants