diff --git a/util/ci.Dockerfile b/util/ci.Dockerfile index a91583eb9..e795879a5 100644 --- a/util/ci.Dockerfile +++ b/util/ci.Dockerfile @@ -2,8 +2,7 @@ FROM debian RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \ && apt-get install -y \ - cmake-curses-gui \ - clangd \ + cmake \ git \ libeigen3-dev \ libopenmpi-dev \