From 2d216d3d3d030a52750a22694eeab1eb92acc844 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Wed, 12 Apr 2023 18:27:57 +0300
Subject: [PATCH] Don't install unused and deleted codecov

---
 .ci/after_success.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/after_success.sh b/.ci/after_success.sh
index 23a6fcd4d..c71546f00 100755
--- a/.ci/after_success.sh
+++ b/.ci/after_success.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # gather the coverage data
-python3 -m pip install codecov
+python3 -m pip install coverage
 if [[ $MATRIX_DOCKER ]]; then
   python3 -m coverage xml --ignore-errors
 else