diff --git a/docker/ci/Dockerfile b/docker/ci/Dockerfile index 388291c74b..706d7c2aa5 100644 --- a/docker/ci/Dockerfile +++ b/docker/ci/Dockerfile @@ -13,4 +13,5 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get update && apt-get install -y \ g++-arm-linux-gnueabi \ libgazebo8-dev \ rustc cargo \ + python3-lxml \ && rm -rf /var/lib/apt/lists/*