Adjust redirections when version is upgraded

slint-ui · Oct 8, 2024 · 1c1bda2 · 1c1bda2
1 parent 1e4de3f
commit 1c1bda2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/upgrade_version.yaml b/.github/workflows/upgrade_version.yaml
@@ -82,6 +82,9 @@ jobs:
             - name: Update version in versions.json
               run: |
                 sed -i '0,/"version": "[0-9]\+\.[0-9]\+\.[0-9]\+"/s//"version": "${{ github.event.inputs.new_version }}"/' releases/versions.json
+            - name: Adjust redirections
+              run: |
+                sed -i "/\/[0-9]*\.[0-9]*\.[0-9]*\/* https:\/\/snapshots\.slint\.dev\/master\/:splat/ s/[0-9]*\.[0-9]*\.[0-9]*/${{ github.event.inputs.new_version }}/" www-releases/releases/_redirects
             - name: Get GitHub App User ID
               id: get-user-id
               run: echo "user-id=$(gh api "/users/${{ steps.app-token.outputs.app-slug }}[bot]" --jq .id)" >> "$GITHUB_OUTPUT"