2022-11-04 13:08:11 -04:00
|
|
|
name: Prepare documentation PR preview
|
|
|
|
|
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
paths:
|
2022-11-04 14:33:01 -04:00
|
|
|
- docs/**
|
2023-01-05 13:21:45 -05:00
|
|
|
- book.toml
|
|
|
|
- .github/workflows/docs-pr.yaml
|
2023-11-28 11:01:24 -05:00
|
|
|
- scripts-dev/schema_versions.py
|
2022-11-04 13:08:11 -04:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
pages:
|
|
|
|
name: GitHub Pages
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2023-09-25 11:39:54 -04:00
|
|
|
- uses: actions/checkout@v4
|
2023-11-28 11:01:24 -05:00
|
|
|
with:
|
|
|
|
# Fetch all history so that the schema_versions script works.
|
|
|
|
fetch-depth: 0
|
2022-11-04 13:08:11 -04:00
|
|
|
|
|
|
|
- name: Setup mdbook
|
2022-11-07 05:27:52 -05:00
|
|
|
uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea # v1.2.0
|
2022-11-04 13:08:11 -04:00
|
|
|
with:
|
|
|
|
mdbook-version: '0.4.17'
|
|
|
|
|
2023-11-28 11:01:24 -05:00
|
|
|
- name: Setup python
|
2023-12-12 04:59:10 -05:00
|
|
|
uses: actions/setup-python@v5
|
2023-11-28 11:01:24 -05:00
|
|
|
with:
|
|
|
|
python-version: "3.x"
|
|
|
|
|
|
|
|
- run: "pip install 'packaging>=20.0' 'GitPython>=3.1.20'"
|
|
|
|
|
2022-11-04 13:08:11 -04:00
|
|
|
- name: Build the documentation
|
|
|
|
# mdbook will only create an index.html if we're including docs/README.md in SUMMARY.md.
|
|
|
|
# However, we're using docs/README.md for other purposes and need to pick a new page
|
|
|
|
# as the default. Let's opt for the welcome page instead.
|
|
|
|
run: |
|
|
|
|
mdbook build
|
|
|
|
cp book/welcome_and_overview.html book/index.html
|
|
|
|
|
|
|
|
- name: Upload Artifact
|
2024-01-11 05:16:49 -05:00
|
|
|
uses: actions/upload-artifact@v4
|
2022-11-04 13:08:11 -04:00
|
|
|
with:
|
|
|
|
name: book
|
|
|
|
path: book
|
|
|
|
# We'll only use this in a workflow_run, then we're done with it
|
|
|
|
retention-days: 1
|
2023-01-05 13:21:45 -05:00
|
|
|
|
|
|
|
link-check:
|
|
|
|
name: Check links in documentation
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2023-09-25 11:39:54 -04:00
|
|
|
- uses: actions/checkout@v4
|
2023-01-05 13:21:45 -05:00
|
|
|
|
|
|
|
- name: Setup mdbook
|
|
|
|
uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea # v1.2.0
|
|
|
|
with:
|
|
|
|
mdbook-version: '0.4.17'
|
|
|
|
|
|
|
|
- name: Setup htmltest
|
|
|
|
run: |
|
|
|
|
wget https://github.com/wjdp/htmltest/releases/download/v0.17.0/htmltest_0.17.0_linux_amd64.tar.gz
|
|
|
|
echo '775c597ee74899d6002cd2d93076f897f4ba68686bceabe2e5d72e84c57bc0fb htmltest_0.17.0_linux_amd64.tar.gz' | sha256sum -c
|
|
|
|
tar zxf htmltest_0.17.0_linux_amd64.tar.gz
|
|
|
|
|
|
|
|
- name: Test links with htmltest
|
|
|
|
# Build the book with `./` as the site URL (to make checks on 404.html possible)
|
|
|
|
# Then run htmltest (without checking external links since that involves the network and is slow).
|
|
|
|
run: |
|
|
|
|
MDBOOK_OUTPUT__HTML__SITE_URL="./" mdbook build
|
|
|
|
./htmltest book --skip-external
|