Skip to content

feat(show): --statistics support multi-branches to one node.#754

Merged
jberthold merged 4 commits into
masterfrom
fix-leaves
Oct 22, 2025
Merged

feat(show): --statistics support multi-branches to one node.#754
jberthold merged 4 commits into
masterfrom
fix-leaves

Conversation

@Stevengre
Copy link
Copy Markdown
Contributor

No description provided.

@Stevengre Stevengre self-assigned this Oct 20, 2025
@Stevengre Stevengre marked this pull request as ready for review October 20, 2025 12:58
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this file used by a test? In test_cli.py there is only niche-enum 🤔

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, test_cli_show_statistics_and_leaves generates this file.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The original file is in the exec-smir/niche-enum.

@Stevengre Stevengre requested a review from jberthold October 21, 2025 09:30
@jberthold jberthold merged commit 0f96555 into master Oct 22, 2025
7 checks passed
@jberthold jberthold deleted the fix-leaves branch October 22, 2025 00:45
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