Repository navigation
Update criterion requirement from 0.5.1 to 0.7.0 - #2
Closed
dependabot[bot] wants to merge 1 commit into
Closed
dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Commits
Commits on Jul 28, 2025