From 20c6be4e2bce1658bfb206fdfb28116a05698f7b Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Fri, 29 Nov 2019 07:34:24 +0100
Subject: [PATCH] ci: add package 'coverage' to docker images

---
 .github/images.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/images.sh b/.github/images.sh
index 28f708d50..13f61503f 100755
--- a/.github/images.sh
+++ b/.github/images.sh
@@ -17,5 +17,5 @@ COPY --from=ghdl/pkg:buster-$PKG / /test
 
 RUN tar xzf \$(ls /test/ghdl-*) -C /usr/local/ \\
  && rm -rf /test \
- && pip install tox colorama
+ && pip install -U tox colorama coverage --progress-bar off
 EOF