Skip failing mike command

drush-ops · Aug 2, 2024 · fe337b8 · fe337b8
1 parent 31f2af3
commit fe337b8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -48,7 +48,8 @@ jobs:
       - name: Mike config
         run: |
           mike alias 13.x latest
-          mike set-default latest
+      # No longer needed.
+      # 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.