Skip to content

Conversation

@james-d-mitchell
Copy link
Member

No description provided.

@james-d-mitchell james-d-mitchell added the libsemigroups-feature-not-yet-supported Label for issues and PRs related to features of libsemigroups not yet supported here label Nov 7, 2025
@james-d-mitchell james-d-mitchell merged commit 33230f8 into libsemigroups:main Nov 7, 2025
17 checks passed
@james-d-mitchell james-d-mitchell deleted the sync-konieczny branch November 7, 2025 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

libsemigroups-feature-not-yet-supported Label for issues and PRs related to features of libsemigroups not yet supported here

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant