From 6913b2815922a50b2fa0f143d8b5bf8715c02439 Mon Sep 17 00:00:00 2001 From: Arseniy Obolenskiy Date: Mon, 28 Jul 2025 20:07:13 +0200 Subject: [PATCH] Add zip utility to ubuntu.Dockerfile --- docker/ubuntu.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/ubuntu.Dockerfile b/docker/ubuntu.Dockerfile index 5d0854657..f3ba14f5d 100644 --- a/docker/ubuntu.Dockerfile +++ b/docker/ubuntu.Dockerfile @@ -16,7 +16,7 @@ RUN set -e \ openmpi-bin openmpi-common libopenmpi-dev \ libomp-dev \ gcc-14 g++-14 \ - gcovr \ + gcovr zip \ && wget -q https://apt.llvm.org/llvm.sh \ && chmod +x llvm.sh \ && ./llvm.sh 20 all \