From ff087837bdedf009f46ac1ea683335224e104c0c Mon Sep 17 00:00:00 2001
From: Georg Lauterbach <44545919+georglauterbach@users.noreply.github.com>
Date: Mon, 10 Apr 2023 11:54:52 +0200
Subject: [PATCH] fix: GH docs update workflow (#3241)

---
 .github/workflows/docs-production-deploy.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/docs-production-deploy.yml b/.github/workflows/docs-production-deploy.yml
index 73d15272..8c8faa23 100644
--- a/.github/workflows/docs-production-deploy.yml
+++ b/.github/workflows/docs-production-deploy.yml
@@ -123,12 +123,11 @@ jobs:
         id: update-latest
         run: |
           DOCS_VERSION=$(grep -oE 'v[0-9]+\.[0-9]+' <<< "${GITHUB_REF}")
-          echo "DOCS_VERSION=${DOCS_VERSION}" >> "${GITHUB_ENV}"
-          ln -sf ${DOCS_VERSION} latest
+          echo "DOCS_VERSION=${DOCS_VERSION}" >>"${GITHUB_ENV}"
+          rm latest
+          ln -s "${DOCS_VERSION}" latest
 
       - name: 'Push update for `latest` symlink'
-        # The step will fail if no change was made; ignore that failure
-        continue-on-error: true
         run: |
           git config user.name ${{ env.GIT_USER }}
           git config user.email ${{ env.GIT_EMAIL }}