From dcda6523d00bb6363cc9e120d9d25382cff8607c Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Fri, 7 Jul 2023 14:20:48 +0200
Subject: [PATCH] ci: clean debian docker

---
 makefiles/docker/debian/Dockerfile | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/makefiles/docker/debian/Dockerfile b/makefiles/docker/debian/Dockerfile
index 37112f96a9..b4b065f5b6 100644
--- a/makefiles/docker/debian/Dockerfile
+++ b/makefiles/docker/debian/Dockerfile
@@ -9,14 +9,6 @@ RUN apt-get update -qq \
  lsb-release \
 && apt-get clean \
 && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
-
-# Install CMake
-ARG VERSION=3.25
-ARG VERSION_FULL=3.25.2
-RUN wget -q "https://cmake.org/files/v${VERSION}/cmake-${VERSION_FULL}-linux-x86_64.sh" \
-&& chmod a+x cmake-${VERSION_FULL}-linux-x86_64.sh \
-&& ./cmake-${VERSION_FULL}-linux-x86_64.sh --prefix=/usr/local/ --skip-license \
-&& rm cmake-${VERSION_FULL}-linux-x86_64.sh
 CMD [ "/bin/bash" ]
 
 FROM base AS swig