2023-11-12 13:40:24 -07:00
|
|
|
name: docs
|
2021-05-31 19:20:08 -07:00
|
|
|
on:
|
2023-05-23 15:14:42 -07:00
|
|
|
pull_request:
|
2023-11-11 04:50:48 -07:00
|
|
|
types: [opened, synchronize, reopened, ready_for_review]
|
2021-05-31 19:20:08 -07:00
|
|
|
jobs:
|
2023-11-12 13:40:24 -07:00
|
|
|
docs:
|
2022-12-22 05:18:17 -07:00
|
|
|
runs-on: ubuntu-latest
|
2023-11-11 04:50:48 -07:00
|
|
|
if: github.event.pull_request.draft == false
|
2021-05-31 19:20:08 -07:00
|
|
|
permissions:
|
|
|
|
contents: write
|
|
|
|
pull-requests: write
|
|
|
|
steps:
|
2023-09-04 05:51:40 -07:00
|
|
|
- uses: actions/checkout@v4
|
2023-11-30 04:05:13 -07:00
|
|
|
- uses: ./.github/actions/setup
|
|
|
|
|
2021-05-31 19:20:08 -07:00
|
|
|
- name: Generate docs
|
|
|
|
run: |
|
2023-08-17 03:14:58 -07:00
|
|
|
make doc
|
2023-11-27 03:35:19 -07:00
|
|
|
if [ -n "$(git status --porcelain)" ]; then
|
|
|
|
echo "::error::Job failed, run 'make doc' and commit your doc changes."
|
|
|
|
echo "::error::The doc generation produces the following changes:"
|
|
|
|
git diff --color --exit-code
|
|
|
|
fi
|
2024-01-28 15:22:39 -07:00
|
|
|
|
|
|
|
- name: Validate docs
|
|
|
|
run: make lintdoc
|