Merge remote-tracking branch 'origin/main' into saschagrunert-suggestions

This commit is contained in:
2022-05-17 08:45:13 -04:00
34 changed files with 520 additions and 255 deletions

View File

@@ -98,3 +98,17 @@ jobs:
run: |
git diff --exit-code
git diff --cached --exit-code
publish:
if: startswith(github.ref, 'refs/tags/')
name: publish
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@v3
- name: Publish Docs
uses: mhausenblas/mkdocs-deploy-gh-pages@master
env:
GITHUB_TOKEN: ${{ secrets.MKDOCS_PUBLISH_GITHUB_TOKEN }}
REQUIREMENTS: mkdocs-requirements.txt