Don't push mike set-default

missionpinball · Aug 12, 2024 · edd49ba · edd49ba
1 parent 461d5d4
commit edd49ba
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -36,12 +36,12 @@ jobs:
         run: |
           git config user.name "mike-ci-bot"
           git config user.email "missionpinball@users.noreply.github.com"
-          # git fetch
-          # git checkout gh-pages
-          # git pull
-          # git checkout main
+          git fetch
+          git checkout gh-pages
+          git pull
+          git checkout main
           mike deploy 0.57 latest
-          mike set-default --push latest
+          mike set-default latest
 
       - name: Upload Artifact
         uses: actions/upload-pages-artifact@v2