Skip to content

Conversation

carolynzech
Copy link
Contributor

Update the list subcommand to include the crate name as part of the markdown table and printed table output.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

don't put it in JSON since that already includes the file which is more specific anyway
@carolynzech carolynzech marked this pull request as ready for review April 17, 2025 14:32
@carolynzech carolynzech requested a review from a team as a code owner April 17, 2025 14:32
@carolynzech carolynzech added this pull request to the merge queue Apr 17, 2025
Merged via the queue into model-checking:main with commit 84cd134 Apr 17, 2025
26 checks passed
@carolynzech carolynzech deleted the list-crate-name branch April 17, 2025 15:32
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