Update pages.yml

skounis · Sep 10, 2023 · bc55ee1 · bc55ee1
1 parent c25df06
commit bc55ee1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -37,5 +37,6 @@ jobs:
       - run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
-      - run: git pull  
+      - run: git pull
+      - run: mike set-default 1.1.0
       - run: mike deploy --push 1.1.0