From 44bee50856d2f8feb0e503a1526c4fefb48f58f6 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 07:33:06 +0100 Subject: [PATCH] Update build script --- latex/build-image.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/latex/build-image.sh b/latex/build-image.sh index b72c1f6..66d756e 100755 --- a/latex/build-image.sh +++ b/latex/build-image.sh @@ -5,6 +5,8 @@ echo "Build directory is $(pwd)" OLD_IMG=docker image ls -q "$1" docker buildx build . -t "$1" + +echo "Build complete, starting upload..." docker push "$1" echo "New build uploaded, removing old image, id: $OLD_IMG"