From a60bba0ccae9f4f3e22a5e14365e31452138d824 Mon Sep 17 00:00:00 2001 From: Timm Fitschen <t.fitschen@indiscale.com> Date: Fri, 16 Jun 2023 13:12:00 +0200 Subject: [PATCH] PIPELINE --- .docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.docker/Dockerfile b/.docker/Dockerfile index b5cf232..78aabf2 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -5,5 +5,5 @@ RUN apt-get update && apt-get install -y cmake git python3-pip curl # Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199) RUN mkdir -p /usr/share/man/man1 RUN apt-get install -y openjdk-11-jdk-headless -RUN pip3 install conan +RUN pip3 install conan==1.60.1 -- GitLab