From a2df958eea7f6c82bad210af7d71129eb88ce28a Mon Sep 17 00:00:00 2001
From: Eugen C <1533818+armab@users.noreply.github.com>
Date: Sat, 21 Oct 2023 15:56:07 +0100
Subject: [PATCH] Install pip coverage for codecov

---
 scripts/ci/submit-codecov-coverage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/ci/submit-codecov-coverage.sh b/scripts/ci/submit-codecov-coverage.sh
index f2b7895fd1..fc2c62bec3 100755
--- a/scripts/ci/submit-codecov-coverage.sh
+++ b/scripts/ci/submit-codecov-coverage.sh
@@ -19,6 +19,7 @@
 # If we're on Travis, then we need to manually check that the build succeeded.
 if [[ "${USER}" == "runner" || ${TRAVIS_TEST_RESULT} -eq 0 ]]; then
     pip install -U pip
+    pip install coverage
     pip install codecov-cli>=0.3.2
     codecovcli upload-process -t "${CODECOV_TOKEN}"
     exit $?