CI: Add new ROS repo key

osrf/docker_images#697 (comment)
ubi-agni · Nov 21, 2023 · d8e0a72 · d8e0a72
1 parent 97acf39
commit d8e0a72
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.docker/ci/Dockerfile b/.docker/ci/Dockerfile
@@ -16,6 +16,8 @@ COPY . src/moveit
 # Commands are combined in single RUN statement with "apt/lists" folder removal to reduce image size
 # https://docs.docker.com/develop/develop-images/dockerfile_best-practices/#minimize-the-number-of-layers
 RUN \
+    # Download ROS keys: https://github.com/osrf/docker_images/issues/697#issuecomment-1819626877
+    apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 4B63CF8FDE49746E98FA01DDAD19BAB3CBF125EA && \
     # Update apt package list as previous containers clear the cache
     apt-get -q update && \
     apt-get -q -y dist-upgrade && \