Merge pull request #1892 from bunkerity/dev

Refactor documentation deployment steps for clarity and improved func…
bunkerity · Jan 10, 2025 · 9f1da55 · 9f1da55
2 parents d347f79 + e613148
commit 9f1da55
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/push-doc.yml b/.github/workflows/push-doc.yml
@@ -38,14 +38,12 @@ jobs:
           python-version: "3.10"
       - name: Install doc dependencies
         run: pip install --no-cache-dir --require-hashes -r docs/requirements.txt && sudo apt install -y libcairo2-dev libfreetype6-dev libffi-dev libjpeg-dev libpng-dev libz-dev
-      - name: Deploy documentation (hidden)
+      - name: Set up hidden documentation
         if: inputs.HIDDEN == true
         run: |
           mike deploy --update-aliases --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
-          mike set-hidden ${{ inputs.VERSION }} true
-          mike push
+          mike props ${{ inputs.VERSION }} --set hidden=true
       - name: Deploy documentation
-        if: inputs.HIDDEN == false
         run: mike deploy --update-aliases --push --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
       - name: Set default doc
         if: inputs.ALIAS == 'latest'