Skip to content

Merge branch 'release-prep' into 'master' #96

Merge branch 'release-prep' into 'master'

Merge branch 'release-prep' into 'master' #96

Workflow file for this run

name: Publish docs via GitHub Pages
on:
# `workflow_dispatch` allows manual triggering of the workflow
workflow_dispatch:
push:
branches:
- main
- master
jobs:
build:
name: Deploy docs
runs-on: ubuntu-latest
steps:
- name: Checkout main
uses: actions/checkout@v2
- name: Deploy docs
uses: mhausenblas/mkdocs-deploy-gh-pages@master
# Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
REQUIREMENTS: requirements-docs.txt