2020-06-03 23:44:27 +00:00
|
|
|
name: Build docs
|
|
|
|
|
|
|
|
on:
|
2023-10-06 04:57:15 +00:00
|
|
|
push:
|
2020-06-03 23:44:27 +00:00
|
|
|
pull_request:
|
|
|
|
paths:
|
|
|
|
- docs/**
|
|
|
|
|
2022-12-13 18:57:34 +00:00
|
|
|
concurrency:
|
|
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
cancel-in-progress: true
|
|
|
|
|
2020-06-03 23:44:27 +00:00
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
2023-09-04 19:42:14 +00:00
|
|
|
- uses: actions/checkout@v4
|
2023-12-06 19:50:28 +00:00
|
|
|
- uses: actions/setup-python@v5
|
2020-06-03 23:44:27 +00:00
|
|
|
- name: Install Python packages
|
2023-09-22 18:00:36 +00:00
|
|
|
run: pip install -r docs/requirements.txt
|
2020-06-03 23:44:27 +00:00
|
|
|
- name: Build docs
|
|
|
|
run: make -C docs/ html
|