Skip to content

Commit

Permalink
Merge pull request #4332 from epage/crit
Browse files Browse the repository at this point in the history
chore: Upgrade criterion
  • Loading branch information
epage authored Oct 3, 2022
2 parents f1fe570 + 86c90df commit 68da825
Show file tree
Hide file tree
Showing 2 changed files with 93 additions and 110 deletions.
Loading

0 comments on commit 68da825

Please sign in to comment.