Skip to content

Conversation

@fingolfin
Copy link
Member

Resolves #110

@fingolfin fingolfin requested a review from osj1961 January 13, 2026 22:26
@osj1961 osj1961 merged commit 1a415da into master Jan 22, 2026
1 of 8 checks passed
@osj1961 osj1961 deleted the mh/test-sort-NamesOfComponents branch January 22, 2026 19:35
Copy link
Collaborator

@osj1961 osj1961 left a comment

Choose a reason for hiding this comment

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

Thanks, works great.

@fingolfin
Copy link
Member Author

Thank you for merging this @osj1961 ! Perhaps also merge PR #117 to get the CI "green again" for the time being, until PR #112 is properly fixed?

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.

Random test failure in NamesOfComponents

2 participants