More Mike fiddling

drush-ops · Aug 3, 2024 · ccc3543 · ccc3543
1 parent f1c41e6
commit ccc3543
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -45,10 +45,10 @@ jobs:
         run: ./drush --uri=dev st
       - name: Drush mk:docs
         run: composer mk:docs
-          #      - name: Mike config
-          #        run: |
-          #          mike alias 12.x latest
-          mike set-default latest
+      # - name: Mike config
+      #   run: |
+      #     mike alias 12.x latest
+      #     mike set-default latest
       - name: Mike deploy
         run: mike deploy --push ${GITHUB_REF_NAME}
       # Build Doctum to gh-pages/api in the gh-pages branch.