2023-07-04 11:30:35 +02:00
|
|
|
name: Build and deploy to GitHub Pages
|
|
|
|
|
on:
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
permissions:
|
|
|
|
|
contents: write
|
|
|
|
|
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-
|
2023-07-04 14:15:26 +02:00
|
|
|
- run: pip install mkdocs-material mkdocs-git-revision-date-localized-plugin
|
2023-07-04 11:30:35 +02:00
|
|
|
- run: mkdocs gh-deploy --force
|
