diff --git a/bot/ci/bootstrap.sh b/bot/ci/bootstrap.sh index 2afd025ac..732f24382 100755 --- a/bot/ci/bootstrap.sh +++ b/bot/ci/bootstrap.sh @@ -1,5 +1,5 @@ #!/bin/bash -ex -GRCOV_VERSION="v0.5.10" +GRCOV_VERSION="v0.5.12" MERCURIAL_VERSION="5.3" VERSION_CONTROL_TOOLS_REV="2f7b4df4a928"