Skip to content

chore: use the bleeding edge version of criterion#30

Merged
PoQuatre merged 3 commits into
mainfrom
criterion-fork
May 26, 2026
Merged

chore: use the bleeding edge version of criterion#30
PoQuatre merged 3 commits into
mainfrom
criterion-fork

Conversation

@PoQuatre

Copy link
Copy Markdown
Owner

Use my fork of criterion, until Snaipe/Criterion#596 gets merged and released, to be able to use --default-timeout

@PoQuatre PoQuatre marked this pull request as draft May 25, 2026 15:26
@PoQuatre PoQuatre marked this pull request as ready for review May 26, 2026 14:33
@PoQuatre PoQuatre changed the title chore: use my fork of criterion temporarly chore: use the bleeding edge version of criterion May 26, 2026
@PoQuatre PoQuatre merged commit f5d1325 into main May 26, 2026
3 checks passed
@PoQuatre PoQuatre deleted the criterion-fork branch May 26, 2026 14:39
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