ci(docs): use latest as alias (#6352)

This commit is contained in:
Michel Loiseleur 2026-04-06 20:45:30 +02:00 committed by GitHub
parent 1ef8ccf768
commit a770f18841
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 1 deletions

View File

@ -68,5 +68,5 @@ jobs:
- name: build and push
run: |
VERSION="${{ inputs.tag }}"
mike deploy $VERSION --push --update-aliases
mike deploy $VERSION latest --push --update-aliases
mike set-default --push latest

View File

@ -66,6 +66,7 @@ theme:
extra:
version:
provider: mike
alias: true
markdown_extensions:
- meta