diff --git a/.devcontainer/control/Dockerfile b/.devcontainer/control/Dockerfile index 77178b62c8b1bb1f2dbb18ea42679a1b44ece48d..7b8bc26afda6c749cfec43a37c49dbe1cba5d130 100644 --- a/.devcontainer/control/Dockerfile +++ b/.devcontainer/control/Dockerfile @@ -11,6 +11,7 @@ RUN --mount=type=cache,sharing=locked,target=/var/cache/apt \ libpoco-dev \ # ROS 2 dependencies ros-$ROS_DISTRO-ros-gz \ + ros-$ROS_DISTRO-pal-statistics* \ # Crocoddyl dependencies coinor-libipopt-dev \ libassimp-dev \