Fix typo in GitHub Actions workflow for documentation deployment

This commit is contained in:
Théophile Diot 2025-01-09 18:21:16 +01:00
parent e8461d189d
commit 851b0ff806
No known key found for this signature in database
GPG key ID: FA995104A0BA376A

View file

@ -40,7 +40,7 @@ jobs:
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: Hide doc
if: inputs.HIDDEN == true
run: mike prop ${{ inputs.VERSION }} --set hidden=true
run: mike props ${{ inputs.VERSION }} --set hidden=true
- name: Push doc
run: mike deploy --update-aliases --push --alias-type=copy ${{ inputs.VERSION }} ${{ inputs.ALIAS }}
- name: Set default doc