Skip to content

Bugfix/enum comparations#741

Merged
wskozlowski merged 3 commits intomainfrom
bugfix/enum_comparations
Apr 14, 2026
Merged

Bugfix/enum comparations#741
wskozlowski merged 3 commits intomainfrom
bugfix/enum_comparations

Conversation

@adrian-zawadzki
Copy link
Copy Markdown
Collaborator

@adrian-zawadzki adrian-zawadzki commented Apr 14, 2026

closes #1017

@wskozlowski wskozlowski merged commit 6fb1c11 into main Apr 14, 2026
22 checks passed
@wskozlowski wskozlowski deleted the bugfix/enum_comparations branch April 14, 2026 10:56
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