2026-04-07 00:15:30 +05:30

73 lines
2.0 KiB
YAML

name: Docs
on:
pull_request:
branches:
- master
paths:
- "docs/**"
- "mkdocs.yml"
- ".github/workflows/docs.yaml"
# See https://docs.github.com/fr/webhooks/webhook-events-and-payloads#workflow_dispatch
# Can be used to update doc with latest tag
workflow_dispatch:
inputs:
tag:
description: "Build documentation for specified tag value"
required: true
type: string
permissions: {}
jobs:
build_docs:
name: Lint Docs
runs-on: ubuntu-latest
if: github.event_name == 'pull_request'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
fetch-depth: 0
- uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: "3.12"
cache: "pip"
cache-dependency-path: "./docs/scripts/requirements.txt"
- run: pip install -r docs/scripts/requirements.txt
- name: lint and build docs
run: mkdocs build --strict
release_docs:
permissions:
contents: write # for mike to push
name: Release Docs
runs-on: ubuntu-latest
if: github.event_name == 'workflow_dispatch'
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
fetch-depth: 0
- uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: "3.12"
cache: "pip"
cache-dependency-path: "./docs/scripts/requirements.txt"
- run: pip install -r docs/scripts/requirements.txt
- name: Configure Git user
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- name: build and push
run: |
VERSION="${{ inputs.tag }}"
mike deploy $VERSION latest --push --update-aliases
mike set-default --push latest