From 9ec2d6a9bae739e71597be1cb80d4a53c116ef2a Mon Sep 17 00:00:00 2001 From: Marco Castelluccio Date: Tue, 12 May 2020 12:53:25 +0200 Subject: [PATCH] bot: Update to grcov version 0.5.14 (#514) --- bot/ci/bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bot/ci/bootstrap.sh b/bot/ci/bootstrap.sh index 8f89f193f..9ac168ddf 100755 --- a/bot/ci/bootstrap.sh +++ b/bot/ci/bootstrap.sh @@ -1,5 +1,5 @@ #!/bin/bash -ex -GRCOV_VERSION="v0.5.13" +GRCOV_VERSION="v0.5.14" MERCURIAL_VERSION="5.3" VERSION_CONTROL_TOOLS_REV="2f7b4df4a928"