#2286: do not use cache when building docker images

scripts/check_containers.sh

@@ -11,7 +11,7 @@ diff_latest() {
 # Decide which docker compose command to use:
 if diff_latest | grep -i dockerfile > /dev/null
 then
-    echo "build --pull"
+    echo "build --no-cache --pull"
 else
     echo "pull --ignore-pull-failures"
 fi