From ccc3543ee482ca69c636037531dd4a04046b830b Mon Sep 17 00:00:00 2001
From: Moshe Weitzman <weitzman@tejasa.com>
Date: Sat, 3 Aug 2024 07:35:03 -0400
Subject: [PATCH] More Mike fiddling

---
 .github/workflows/main.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index cc50652f38..5442c2cc18 100644
--- 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.