Skip to content

extract Criterion#110

Merged
mikhailmartin merged 1 commit intomasterfrom
cython
Sep 27, 2025
Merged

extract Criterion#110
mikhailmartin merged 1 commit intomasterfrom
cython

Conversation

@mikhailmartin
Copy link
Owner

Resolve #109

@mikhailmartin mikhailmartin merged commit 29e2907 into master Sep 27, 2025
1 check passed
@mikhailmartin mikhailmartin deleted the cython branch September 27, 2025 09:10
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.

Extract Criterion

1 participant