Skip to content

fix: add NonDet where needed#163

Merged
mlutze merged 1 commit intomasterfrom
effects
Jan 7, 2025
Merged

fix: add NonDet where needed#163
mlutze merged 1 commit intomasterfrom
effects

Conversation

@mlutze
Copy link
Owner

@mlutze mlutze commented Jan 7, 2025

No description provided.

@mlutze mlutze merged commit 86daf80 into master Jan 7, 2025
2 of 3 checks passed
@mlutze mlutze deleted the effects branch January 7, 2025 07:44
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.

1 participant