From 6a445c99dd0bad5639435fe2828be35b0cf8dbcc Mon Sep 17 00:00:00 2001 From: Matthijs van der Burgh Date: Mon, 10 Jun 2024 13:38:48 +0200 Subject: [PATCH] (CI)(build-docker-image) --progress=tty --- ci/build-docker-image.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/build-docker-image.sh b/ci/build-docker-image.sh index 5ddfaa8c4..8ebb52ce5 100755 --- a/ci/build-docker-image.sh +++ b/ci/build-docker-image.sh @@ -173,6 +173,7 @@ CI_DOCKER_BUILD_ARGS+=( "--build-arg=VENV_INCLUDE_SYSTEM_SITE=${CI_VENV_INCLUDE_SYSTEM_SITE}" \ "--build-arg=DOCKER_USER=${CI_DOCKER_USER}" \ "--build-arg=DOCKER_USER_ID=${CI_DOCKER_USER_ID}" \ + "--progress=tty" \ "--provenance=false") # Check the constructed Docker image name against the input