ci/images: ensure base image is updated

diff --git a/ci/images/build.sh b/ci/images/build.sh
index aefaedfeb5d93d0293ff3d3fecb2bd8d8720ef3e..39ee61711ad16c58ebad694ef02150a0b14470c3 100755 (executable)
--- a/ci/images/build.sh
+++ b/ci/images/build.sh
@@ -10,4 +10,4 @@ if [ -n "$COVERITY_SCAN_TOKEN" ]; then
 fi
 
 export DOCKER_BUILDKIT=1 # Enables using secrets in docker-build
-docker build --no-cache -t "${FULL_NAME}" "${IMAGE}" --build-arg KNOT_BRANCH=${KNOT_BRANCH} $SECRETS
+docker build --pull --no-cache -t "${FULL_NAME}" "${IMAGE}" --build-arg KNOT_BRANCH=${KNOT_BRANCH} $SECRETS