From 432c53639c43d3d62de2d255e4f8cf518a752c18 Mon Sep 17 00:00:00 2001 From: clfreville2 Date: Thu, 27 Apr 2023 19:29:32 +0200 Subject: [PATCH] =?UTF-8?q?Mets=20=C3=A0=20jour=20vers=20GCC=2013?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index a074ba9..21fd664 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM gcc:12 +FROM gcc:13 RUN apt-get update \ && apt-get -y --no-install-recommends install nlohmann-json3-dev libcurl4-openssl-dev libminizip-dev libboost-program-options-dev doctest-dev gcovr \ && rm -rf /var/lib/apt/lists/*