Repository navigation
58 lines (48 loc) · 1.52 KB
/
Copy pathdocs.yml
File metadata and controls
58 lines (48 loc) · 1.52 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
name: Deploy docs
on:
push:
branches: [master]
paths:
- 'docs/**'
- 'tools/publisher/**'
- 'tools/fonts/**'
- 'README*.md'
- 'mkdocs.yml'
- '.github/workflows/docs.yml'
workflow_dispatch:
permissions:
contents: write # required for gh-deploy to push to gh-pages branch
concurrency:
group: docs-${{ github.ref }}
cancel-in-progress: false # let one finish before next starts (avoid corrupt gh-pages)
jobs:
deploy:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- name: Checkout
uses: actions/checkout@v6
with:
fetch-depth: 0 # full history so mkdocs revision-date plugins work
- name: Set up Node for publisher tooling
uses: actions/setup-node@v4
with:
node-version: 22
- name: Verify DDS font artifact adapter
run: node --test tools/fonts/prepare.test.mjs
- name: Check shared publisher attribution
run: |
npm ci --prefix tools/publisher --ignore-scripts
npm run check --prefix tools/publisher
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version: '3.12'
cache: pip
cache-dependency-path: docs/requirements.txt
- name: Install MkDocs Material + plugins
run: pip install --upgrade -r docs/requirements.txt
- name: Build site (verify before deploy)
run: mkdocs build --strict
- name: Deploy to gh-pages
run: mkdocs gh-deploy --force --no-history