diff options
Diffstat (limited to 'ciimage/Dockerfile')
| -rw-r--r-- | ciimage/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ciimage/Dockerfile b/ciimage/Dockerfile index 3789e8d..0ed1e01 100644 --- a/ciimage/Dockerfile +++ b/ciimage/Dockerfile @@ -10,4 +10,5 @@ RUN apt-get -y update && apt-get -y upgrade \ && apt-get -y install python3-pip libxml2-dev libxslt1-dev cmake libyaml-dev \ && apt-get -y install openmpi-bin libopenmpi-dev \ && apt-get -y install libvulkan-dev libpcap-dev \ +&& apt-get -y install gcovr lcov \ && python3 -m pip install hotdoc codecov |