From 512298427717f716696f3e3fa9817660f0f518e7 Mon Sep 17 00:00:00 2001 From: Marco Castelluccio Date: Thu, 19 Dec 2019 15:58:59 +0100 Subject: [PATCH] bot: Update grcov to version 0.5.7 --- 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 1fa70748e..cb572294c 100755 --- a/bot/ci/bootstrap.sh +++ b/bot/ci/bootstrap.sh @@ -1,5 +1,5 @@ #!/bin/bash -ex -GRCOV_VERSION="v0.5.6" +GRCOV_VERSION="v0.5.7" MERCURIAL_VERSION="5.1" VERSION_CONTROL_TOOLS_REV="709c897f2444"