Merge pull request #2384 from devitocodes/docker-ci

ci: avoid apt upgrade use base as is (updated every week}

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