Update pages.yml

eu-digital-identity-wallet · May 22, 2024 · 9ed6250 · 9ed6250
1 parent 73662bd
commit 9ed6250
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -38,6 +38,7 @@ jobs:
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
       - run: git pull
+      - run: mike deploy --push --update-aliases 1.4.0 latest
       - run: mike set-default --push latest
       # - run: mike deploy --push 1.4.0