Combined PR

[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

[antifuchs]

bors merge

[bors[bot]]

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• all_tests
• cargo_clippy
• cargo_deny
• rustfmt