FossilRepo
|
1
|
name: Docs |
|
2
|
|
|
3
|
on: |
|
4
|
push: |
|
5
|
branches: [main] |
|
6
|
paths: |
|
7
|
- 'docs/**' |
|
8
|
- 'mkdocs.yml' |
|
9
|
- '.github/workflows/docs.yaml' |
|
10
|
|
|
11
|
permissions: |
|
12
|
contents: read |
|
13
|
pages: write |
|
14
|
id-token: write |
|
15
|
|
|
16
|
concurrency: |
|
17
|
group: pages |
|
18
|
cancel-in-progress: true |
|
19
|
|
|
20
|
jobs: |
|
21
|
build: |
|
22
|
runs-on: ubuntu-latest |
|
23
|
steps: |
|
24
|
- uses: actions/checkout@v4 |
|
25
|
- uses: actions/setup-python@v5 |
|
26
|
with: |
|
27
|
python-version: "3.12" |
|
28
|
- run: pip install mkdocs-material |
|
29
|
- run: mkdocs build --strict |
|
30
|
- uses: actions/upload-pages-artifact@v3 |
|
31
|
with: |
|
32
|
path: site |
|
33
|
|
|
34
|
deploy: |
|
35
|
needs: build |
|
36
|
runs-on: ubuntu-latest |
|
37
|
environment: |
|
38
|
name: github-pages |
|
39
|
url: ${{ steps.deployment.outputs.page_url }} |
|
40
|
steps: |
|
41
|
- id: deployment |
|
42
|
uses: actions/deploy-pages@v4 |
|
43
|
|