[ci] Add a separate target for docs

This commit is contained in:
Alexis Métaireau 2023-12-06 11:54:25 +01:00
parent d15c436d42
commit 38ec262f16

View file

@ -67,3 +67,18 @@ jobs:
- name: Run Docs - name: Run Docs
run: make docs run: make docs
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install dependencies
run: |
python3 -m pip install -r docs/requirements.txt
- name: Run Docs
run: mkdocs build