Skip to content

Disable subsplits for GroupsAsCategoriesForCAP - #1753

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
TKuh:groups_as_cats_subsplit
Jun 27, 2025
Merged

Disable subsplits for GroupsAsCategoriesForCAP#1753
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
TKuh:groups_as_cats_subsplit

Conversation

@TKuh

@TKuh TKuh commented Jun 27, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@mohamed-barakat
mohamed-barakat merged commit 06b93ab into homalg-project:master Jun 27, 2025
5 checks passed
@TKuh
TKuh deleted the groups_as_cats_subsplit branch June 29, 2025 14:20
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