Refactor documentation deployment workflow to separate hidden and visible deployments

This commit is contained in:
Théophile Diot 2025-01-10 09:19:46 +01:00
parent 454adaf0cc
commit 800f7a36b8
No known key found for this signature in database
GPG key ID: FA995104A0BA376A

View file

@ -38,11 +38,15 @@ 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: Push doc
run: mike deploy --update-aliases --push --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
- name: Hide doc
- name: Deploy documentation (hidden)
if: inputs.HIDDEN == true
run: mike props ${{ inputs.VERSION }} --set hidden=true
run: |
mike deploy --update-aliases --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
mike set-hidden ${{ inputs.VERSION }} true
mike push
- 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'
run: mike set-default --push latest