mirror of
https://github.com/Vateron-Media/XC_VM.git
synced 2026-10-08 04:02:39 +02:00
dependabot[bot]andGitHub
5a7d9459bc
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 5 to 7. - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v5...v7) --- updated-dependencies: - dependency-name: actions/setup-python dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
60 lines
1.5 KiB
YAML
60 lines
1.5 KiB
YAML
name: Deploy docs to Pages
|
|
|
|
# Builds the MkDocs (Material) site and publishes it to GitHub Pages. English
|
|
# (docs/en) is the single source you edit; Russian (docs/ru) is a GENERATED tree
|
|
# that is committed and refreshed LOCALLY before a release (`make docs-translate`)
|
|
# — translation is intentionally NOT run in CI (it is slow). CI only builds the
|
|
# already-translated site. Runs only when docs actually change.
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- 'docs/**'
|
|
- 'mkdocs.yml'
|
|
- '.github/workflows/pages.yml'
|
|
workflow_dispatch:
|
|
|
|
# Least-privilege token scoped to what deploy-pages needs.
|
|
permissions:
|
|
contents: read
|
|
pages: write
|
|
id-token: write
|
|
|
|
# Never cancel an in-flight deploy; queue the next one instead.
|
|
concurrency:
|
|
group: pages
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
deploy:
|
|
runs-on: ubuntu-latest
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v7
|
|
|
|
- name: Setup Python
|
|
uses: actions/setup-python@v7
|
|
with:
|
|
python-version: '3.12'
|
|
|
|
- name: Install docs build toolchain
|
|
run: pip install -r docs/requirements.txt
|
|
|
|
- name: Build site (strict)
|
|
run: mkdocs build --strict
|
|
|
|
- name: Configure Pages
|
|
uses: actions/configure-pages@v6
|
|
|
|
- name: Upload site artifact
|
|
uses: actions/upload-pages-artifact@v5
|
|
with:
|
|
path: build/site
|
|
|
|
- name: Deploy to GitHub Pages
|
|
id: deployment
|
|
uses: actions/deploy-pages@v5
|