Merge branch 'master' of github.com:wesselb/plum #116

	name: Build Jupyter Book

	on:
	# Trigger the workflow on push to main branch.
	push:
	branches:
	- master

	# This job installs dependencies, build the book, and pushes it to `gh-pages`.
	jobs:
	build-and-deploy-book:
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os: [ubuntu-latest]
	python-version: [3.8]
	steps:
	- uses: actions/checkout@v2

	# Install dependencies.
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v1
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	python -m pip install -e '.[dev]'

	# Build the book.
	- name: Build
	run: \|
	jupyter-book build docs

	# Deploy the book's HTML to gh-pages branch.
	- name: Deploy to GitHub Pages
	uses: peaceiris/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs/_build/html

Provide feedback