diff --git a/docker/Dockerfile b/docker/Dockerfile index 5d18a2d8bbf503a6e356a51cbc39b57315df3ff3..7a017f8390c6c6af67328ce69bdbf50f46b650d9 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -18,6 +18,7 @@ RUN apt-get update \ git \ ninja-build \ python3 \ + python3-pip \ reuse \ pre-commit \ gcovr \