Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
192: Combined PR r=antifuchs a=github-actions[bot] ✅ This PR was created by the Combine PRs action by combining the following PRs: #191 Update criterion requirement from 0.4.0 to 0.5.1 Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
- Loading branch information