From 3aeb4c39dfcf45b53718bb840085059a196d7d22 Mon Sep 17 00:00:00 2001 From: jannisvisser Date: Mon, 18 Sep 2023 13:45:36 +0200 Subject: [PATCH] chore: also clean up docker before docker build AB#23662 --- tools/deploy.sh | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/tools/deploy.sh b/tools/deploy.sh index 8a7ad73f9..0fc9068ba 100644 --- a/tools/deploy.sh +++ b/tools/deploy.sh @@ -68,9 +68,9 @@ function deploy() { } function cleanup_docker() { - log "Remove unused docker images..." + log "Clean up Docker..." - docker image prune -f + docker system prune -f } function test_integration() { @@ -99,13 +99,15 @@ function deploy() { load_environment_variables + cleanup_docker + update_containers cleanup_docker test_integration - test_performance + # test_performance restart_webhook_service