Skip to content

chore: bump criterion 0.5 -> 0.8#16

Merged
rubenhensen merged 1 commit into
mainfrom
chore/dep-bumps
May 11, 2026
Merged

chore: bump criterion 0.5 -> 0.8#16
rubenhensen merged 1 commit into
mainfrom
chore/dep-bumps

Commits

Commits on May 9, 2026