From 658d9b7d7215e79b1da832878b7084750702bc42 Mon Sep 17 00:00:00 2001 From: Mike Hommey Date: Tue, 7 Jan 2025 16:05:25 +0900 Subject: [PATCH] [CI] Upgrade grcov to 0.8.20 --- CI/docker.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CI/docker.py b/CI/docker.py index 9f358025..f61b36fb 100644 --- a/CI/docker.py +++ b/CI/docker.py @@ -165,7 +165,7 @@ def sources_list(snapshot, sections): ), "chmod +x /usr/local/bin/codecov", "curl -sL {} | tar -C /usr/local/bin -jxf -".format( - "https://github.com/mozilla/grcov/releases/download/v0.8.7" + "https://github.com/mozilla/grcov/releases/download/v0.8.20" "/grcov-x86_64-unknown-linux-gnu.tar.bz2" ), ],