From 29018afa13bfbe9375b08eb61ccdaad5f0219f01 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Max=20L=C3=BCbke?= Date: Thu, 7 Mar 2024 13:41:34 +0000 Subject: [PATCH] Update dependencies in ci.Dockerfile --- util/ci.Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 \