diff --git a/Dockerfile b/Dockerfile index ac50aab86..17d92477b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -127,7 +127,7 @@ RUN apt-get update && \ # Install CMake (the version in 22.04 is too old) RUN <