Remove unneeded packages as we would search for them with the other PHP versions

Author: vmcj

docker-gitlabci/Dockerfile

@@ -28,7 +28,7 @@ RUN apt-get update && apt-get install -y \
   npm \
   # Code coverage for unit test \
   php-pear php-dev \
-  && apt purge php8.3-redis \
+  && apt purge php8.3-redis && apt autoremove --purge \
   && rm -rf /var/lib/apt/lists/*
 
 # Install needed NPM packages and download chrome for the domjudge user