2023-09-17 02:05:08 +02:00
|
|
|
name: Docs
|
2024-07-18 11:12:13 +02:00
|
|
|
|
2023-09-17 02:05:08 +02:00
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
contents: write
|
2024-07-18 11:12:13 +02:00
|
|
|
|
2023-09-17 02:05:08 +02:00
|
|
|
jobs:
|
|
|
|
deploy:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
- uses: actions/setup-python@v4
|
|
|
|
with:
|
|
|
|
python-version: 3.x
|
|
|
|
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
|
|
|
|
- uses: actions/cache@v3
|
|
|
|
with:
|
|
|
|
key: mkdocs-material-${{ env.cache_id }}
|
|
|
|
path: .cache
|
|
|
|
restore-keys: |
|
|
|
|
mkdocs-material-
|
|
|
|
- run: pip install mkdocs-material
|
|
|
|
- run: mkdocs gh-deploy --force
|