From 32389ed2d4b1407c901cca97de167fade1186a8e Mon Sep 17 00:00:00 2001 From: Thomas Zajac Date: Wed, 10 Jul 2024 22:26:28 +0200 Subject: [PATCH] Update .github/workflows/docker_on_release.yaml Co-authored-by: Christoph Zwerschke --- .github/workflows/docker_on_release.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker_on_release.yaml b/.github/workflows/docker_on_release.yaml index 809ea0d3..b457f0ba 100644 --- a/.github/workflows/docker_on_release.yaml +++ b/.github/workflows/docker_on_release.yaml @@ -164,7 +164,7 @@ jobs: - name: Check if docker image already exists id: check-image-exists run: | - # pipefail set by default, join with or to not cancel run on missing image + # pipefail set by default, join with "or" to not cancel run on missing image docker pull "docker.io/${{ steps.docker-tag.outputs.tag }}" || if [ $? -eq 0 ] then