system/docker
1
0 Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity

Syntax fixes
Create and publish container / build_container (push) Failing after 15s
Details

Browse Source
This commit is contained in:
janishutz committed 2025-12-23 07:48:36 +01:00
1 parent c8d7251c08
commit 3608fe6687
2 files changed
+3 -3
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

latex/build-image.sh
+2 -2
View File
@@ -9,8 +9,8 @@ docker buildx build . -t "$1"
echo "Build complete, starting upload..."
docker push "$1"
if [[ -n "$OLD_IMG" ]]; then
if [[ "$OLD_IMG" != "$(docker image ls -q "$1")" ]]; then
if [ -n "$OLD_IMG" ]; then
if [ "$OLD_IMG" != "$(docker image ls -q "$1")" ]; then
echo "New build uploaded, removing old image, id: $OLD_IMG"
docker image rm "$OLD_IMG"
fi