2022-11-28 00:36:48 +00:00
|
|
|
name: Build mkdocs and deploy to GitHub Pages
|
2021-01-12 15:56:18 +00:00
|
|
|
|
2022-11-28 00:36:48 +00:00
|
|
|
on: [push, pull_request]
|
2021-01-12 15:56:18 +00:00
|
|
|
|
2023-11-20 09:36:18 +00:00
|
|
|
concurrency:
|
|
|
|
group: ${{ github.ref }}
|
|
|
|
cancel-in-progress: true
|
|
|
|
|
2021-01-12 15:56:18 +00:00
|
|
|
jobs:
|
2022-11-28 00:36:48 +00:00
|
|
|
|
|
|
|
build:
|
|
|
|
name: Build docs
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-02-18 01:14:28 +00:00
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4.1.1
|
|
|
|
with:
|
|
|
|
fetch-depth: 0
|
|
|
|
sparse-checkout: |
|
|
|
|
docs
|
|
|
|
- name: Setup python
|
|
|
|
uses: actions/setup-python@v5.0.0
|
2022-11-28 00:36:48 +00:00
|
|
|
with:
|
|
|
|
python-version: 3.x
|
2024-02-18 01:14:28 +00:00
|
|
|
- name: Get pip cache directory
|
|
|
|
id: pip-cache
|
|
|
|
run: |
|
|
|
|
echo "dir=$(pip cache dir)" >> $GITHUB_OUTPUT
|
|
|
|
- name: Cache dependencies
|
|
|
|
uses: actions/cache@v4.0.0
|
2022-11-28 00:36:48 +00:00
|
|
|
with:
|
2024-02-18 01:14:28 +00:00
|
|
|
path: ${{ steps.pip-cache.outputs.dir }}
|
|
|
|
key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
|
|
|
|
restore-keys: |
|
|
|
|
${{ runner.os }}-pip-
|
|
|
|
- name: Install dependencies
|
|
|
|
run: pip install -r docs/requirements.txt
|
|
|
|
- name: Build documentation
|
|
|
|
run: mkdocs build
|
2022-11-28 00:36:48 +00:00
|
|
|
|
2021-01-12 15:56:18 +00:00
|
|
|
deploy:
|
2023-08-02 18:11:11 +00:00
|
|
|
if: github.event_name == 'push' && contains(fromJson('["refs/heads/master", "refs/heads/main"]'), github.ref)
|
2022-11-28 00:36:48 +00:00
|
|
|
needs: build
|
2021-01-12 15:56:18 +00:00
|
|
|
name: Deploy docs
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-02-18 01:14:28 +00:00
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4.1.1
|
2022-11-28 00:36:48 +00:00
|
|
|
with:
|
2024-02-18 01:14:28 +00:00
|
|
|
fetch-depth: 0
|
|
|
|
sparse-checkout: |
|
|
|
|
docs
|
|
|
|
- name: Setup python
|
|
|
|
uses: actions/setup-python@v5.0.0
|
2021-01-12 15:56:18 +00:00
|
|
|
with:
|
|
|
|
python-version: 3.x
|
2024-02-18 01:14:28 +00:00
|
|
|
- name: Get pip cache directory
|
|
|
|
id: pip-cache
|
|
|
|
run: |
|
|
|
|
echo "dir=$(pip cache dir)" >> $GITHUB_OUTPUT
|
|
|
|
- name: Cache dependencies
|
|
|
|
uses: actions/cache@v4.0.0
|
2022-11-28 00:36:48 +00:00
|
|
|
with:
|
2024-02-18 01:14:28 +00:00
|
|
|
path: ${{ steps.pip-cache.outputs.dir }}
|
|
|
|
key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
|
|
|
|
restore-keys: |
|
|
|
|
${{ runner.os }}-pip-
|
|
|
|
- name: Install dependencies
|
|
|
|
run: pip install -r docs/requirements.txt
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
run: mkdocs gh-deploy --force
|