Skip to content

Commit

Permalink
bot: Update to grcov version 0.5.14 (#514)
Browse files Browse the repository at this point in the history
  • Loading branch information
marco-c authored May 12, 2020
1 parent a587f21 commit 9ec2d6a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bot/ci/bootstrap.sh
Original file line number Diff line number Diff line change
@@ -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"

Expand Down

0 comments on commit 9ec2d6a

Please sign in to comment.