From 58e32ab6f5bb18e1b407724daeb11d75860bb000 Mon Sep 17 00:00:00 2001
From: mloubout <mathias.louboutin@gmail.com>
Date: Thu, 6 Jun 2024 08:29:04 -0400
Subject: [PATCH] ci: avoid apt upgrade use base as is (updated every week}

---
 docker/Dockerfile.devito | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile.devito b/docker/Dockerfile.devito
index 7908497ca5..99b21c87fb 100644
--- a/docker/Dockerfile.devito
+++ b/docker/Dockerfile.devito
@@ -16,7 +16,7 @@ ARG GROUP_ID=1000
 ADD . /app/devito
 
 # Update if outdated
-RUN apt-get update && apt-get upgrade -y
+RUN apt-get update
 
 # Remove git files
 RUN rm -rf /app/devito/.git