Set default versions with mike

Griffin-Group · May 3, 2024 · bf47c61 · bf47c61
1 parent 7d384a3
commit bf47c61
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/develop_docs.yml b/.github/workflows/develop_docs.yml
@@ -25,4 +25,6 @@ jobs:
           git config --global user.name "Docs Deploy"
           git config --global user.email "docs.deploy@example.co.uk"
       - name: Build Docs Website
-        run: mike deploy --push develop
+        run:  |
+          mike deploy develop
+          mike set-default --push latest
diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml
@@ -27,5 +27,5 @@ jobs:
           git config --global user.email "docs.deploy@example.co.uk"
       - name: Build Docs Website
         run: |
-          mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
+          mike deploy --update-aliases ${{ github.event.release.tag_name }} latest
           mike set-default --push latest