Bump criterion to v2.3.3 (#14002)

This commit is contained in:
Jack May 2020-12-07 13:53:28 -08:00 committed by GitHub
parent 239a191612
commit 1dc71fb5aa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

View File

@ -105,7 +105,11 @@ if [[ ! -e xargo-$version.md ]] || [[ ! -x bin/xargo ]]; then
fi
# Install Criterion
version=v2.3.2
if [[ $machine == "linux" ]]; then
version=v2.3.3
else
version=v2.3.2
fi
if [[ ! -e criterion-$version.md || ! -e criterion ]]; then
(
set -e