Merge pull request #172 from eu-digital-identity-wallet/skounis-patch-10

Update pages.yml
eu-digital-identity-wallet · May 22, 2024 · 7d81364 · 7d81364
2 parents dcab957 + f1756b0
commit 7d81364
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.3.0
-      - run: mike deploy --push 1.3.0
+      - run: mike set-default 1.4.0
+      - run: mike deploy --push 1.4.0