Update Dockerfile

moveit · Nov 3, 2024 · 9db3b29 · 9db3b29
1 parent 156d9d4
commit 9db3b29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/ci/Dockerfile b/.docker/ci/Dockerfile
@@ -25,7 +25,7 @@ RUN \
         # Some basic requirements
         wget git sudo curl \
         # Preferred build tools
-        clang clang-format-14 clang-tidy clang-tools \
+        clang clang-format-17 clang-tidy clang-tools \
         ccache && \
     #
     # Globally disable git security