ci: fix the docker build script not to use caches
That's because `docker build` uses caches by default
even if they are too old, which may result in build failure.
@@ -15,6 +15,6 @@ SCRIPT_DIR=$(realpath $(dirname $0))
cd "$SCRIPT_DIR/docker-root"
for variant in $@ ; do
- docker build --tag "${IMAGE_NAME}:${variant}" -f "${SCRIPT_DIR}/Dockerfile.${variant}" .
+ docker build --no-cache --tag "${IMAGE_NAME}:${variant}" -f "${SCRIPT_DIR}/Dockerfile.${variant}" .
docker push "${IMAGE_NAME}:${variant}"
done
