Skip to content

Merge pull request #360 from jazzband/giovanni/fix-settings-dict #11

Merge pull request #360 from jazzband/giovanni/fix-settings-dict

Merge pull request #360 from jazzband/giovanni/fix-settings-dict #11

Workflow file for this run

name: Publish Docs to GitHub Pages
permissions:
contents: write
on:
push:
branches:
- develop
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.x
- name: Install dependencies
run: pip install mkdocs-material
- name: Build docs
run: mkdocs build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
personal_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./site