[CI] Upgrade grcov to 0.8.20

glandium · Jan 7, 2025 · 658d9b7 · 658d9b7
1 parent 751ba06
commit 658d9b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
             ),
         ],