set mike default after build

missionpinball · Aug 12, 2024 · e88553d · e88553d
1 parent 17f2b7c
commit e88553d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -33,7 +33,8 @@ jobs:
         run: |
           git config user.name "mike-ci-bot"
           git config user.email "[email protected]"
-          git checkout gh-pages
           git fetch
+          git checkout gh-pages
           git pull
           mike deploy --push 0.57 latest
+          mike set-default --push latest