Merge pull request #1690 from smilerz/master #777

	name: Build mkdocs and deploy to GitHub Pages

	on: [push, pull_request]

	jobs:
	build:
	name: Build docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/[email protected]
	- uses: actions/[email protected]
	with:
	python-version: 3.x
	- uses: actions/[email protected]
	with:
	key: ${{ github.ref }}
	path: .cache
	- run: pip install -r docs/requirements.txt
	- run: mkdocs build

	deploy:
	if: github.event_name == 'push' && contains(fromJson('["refs/heads/master", "refs/heads/main"]'), github.ref)
	needs: build
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- uses: actions/[email protected]
	with:
	fetch-depth: '0'
	- uses: actions/[email protected]
	with:
	python-version: 3.x
	- uses: actions/[email protected]
	with:
	key: ${{ github.ref }}
	path: .cache
	- run: pip install -r docs/requirements.txt
	- run: mkdocs gh-deploy --force

Provide feedback