diff --git a/tools/ci/github-runners/v3/Dockerfile b/tools/ci/github-runners/v3/Dockerfile index 287ccbebad..0fdbf9fd2a 100644 --- a/tools/ci/github-runners/v3/Dockerfile +++ b/tools/ci/github-runners/v3/Dockerfile @@ -12,6 +12,8 @@ RUN apt-get update && apt-get install --no-install-recommends --yes \ libsystemd-dev \ libudev-dev \ lua-inspect \ + mkdocs \ + mkdocs-material \ ninja-build \ python3 \ python3-click \