Skip to content

Updated criterion to v0.6#146

Merged
grovesNL merged 1 commit intogrovesNL:mainfrom
bonohub13:criterion-0.6
Jul 22, 2025
Merged

Updated criterion to v0.6#146
grovesNL merged 1 commit intogrovesNL:mainfrom
bonohub13:criterion-0.6

Conversation

@bonohub13
Copy link
Contributor

Built it on my side and seemed like there wasn't any issues :)

@grovesNL grovesNL merged commit 546cff8 into grovesNL:main Jul 22, 2025
1 check passed
@bonohub13 bonohub13 deleted the criterion-0.6 branch July 22, 2025 22:45
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