More Mike fiddling

drush-ops · Aug 3, 2024 · c010db3 · c010db3
1 parent 84bcea4
commit c010db3
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -45,13 +45,13 @@ jobs:
         run: ./drush --uri=dev st
       - name: Drush mk:docs
         run: composer mk:docs
-        #      - name: Mike alias
-        #        run: mike alias 13.x latest
-        #      - name: Mike set-default
-        #        run: mike set-default latest
+      - name: Mike alias
+        run: mike alias 13.x latest --update-aliases
+      - name: Mike set-default
+        run: mike set-default latest
       # See https://github.com/jimporter/mike?tab=readme-ov-file#building-your-docs
       - name: Mike deploy
-        run: mike deploy --update-aliases --push ${GITHUB_REF_NAME} latest
+        run: mike deploy --push ${GITHUB_REF_NAME}
       # Build Doctum to gh-pages/api in the gh-pages branch.
       - name: Checkout gh-pages branch
         uses: actions/checkout@v2