Merge pull request #117 from eu-digital-identity-wallet/skounis-patch-5

Build v1.3.0 pages
eu-digital-identity-wallet · Mar 7, 2024 · 3ce9905 · 3ce9905
2 parents ff51b91 + 45faa90
commit 3ce9905
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -38,6 +38,6 @@ 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 set-default 1.2.0
-      - run: mike deploy --push 1.2.0
+      #- run: mike set-default 1.2.0
+      - run: mike deploy --push 1.3.0