Skip to content

Conversation

kroening
Copy link
Member

This adds --json-modules, to get a JSON array with all the modules.

@kroening kroening marked this pull request as ready for review June 22, 2024 19:21
@tautschnig
Copy link
Collaborator

Needs a rebase to resolve conflicts.

This adds --json-modules, to get a JSON array with all the modules.
@kroening
Copy link
Member Author

Needs a rebase to resolve conflicts.

done

@tautschnig tautschnig merged commit 81ec9d7 into main Jul 10, 2024
@tautschnig tautschnig deleted the json-modules branch July 10, 2024 17:38
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
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