diff --git a/Docker/github_ci_dockerfile b/Docker/github_ci_dockerfile index af0bc870..d1d4d873 100644 --- a/Docker/github_ci_dockerfile +++ b/Docker/github_ci_dockerfile @@ -48,6 +48,7 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \ python3-sphinx \ python3-sphinx-rtd-theme \ python3-tomli \ + python3-venv \ rsync \ sudo \ && \