From 287b72f925fa4df09a6a238cbcd8c5bbc9504777 Mon Sep 17 00:00:00 2001 From: Yaron Date: Sun, 10 Sep 2023 15:35:54 +0300 Subject: [PATCH] Update GitHub workflows to v0.13.5. --- .github/workflows/ci-image-release.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-image-release.yml b/.github/workflows/ci-image-release.yml index e1f851853..8e3d6da77 100644 --- a/.github/workflows/ci-image-release.yml +++ b/.github/workflows/ci-image-release.yml @@ -32,11 +32,11 @@ jobs: echo "tag=${{ github.ref_name }}" >> $GITHUB_OUTPUT fi shell: bash - - name: Check if the tag head is the same as release-v0.13.4 head + - name: Check if the tag head is the same as release-v0.13.5 head id: check-latest if: github.event_name != 'workflow_dispatch' run: | - if test $(git rev-parse origin/release-v0.13.4) = $(git rev-parse HEAD); then + if test $(git rev-parse origin/release-v0.13.5) = $(git rev-parse HEAD); then echo "latest=true" >> $GITHUB_OUTPUT else echo "latest=false" >> $GITHUB_OUTPUT