Merge pull request #32 from nblei/master #73

	# Adapted from https://github.com/MichaelHatherly/Publish.jl
	name: Publish

	on:
	push:
	branches: ['master']

	jobs:
	publish:
	name: "Publish Documentation (dev)"
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/checkout@v2
	with:
	ref: gh-pages
	path: gh-pages
	- uses: julia-actions/setup-julia@latest
	with:
	version: '1'
	- name: Install dependencies
	run: \|
	julia --color=yes --project=. -e 'using Pkg; Pkg.instantiate()'
	- name: Build and deploy
	run: \|
	cd gh-pages
	julia --color=yes --project=../docs -e 'using Pkg; Pkg.instantiate()'
	julia --color=yes --project=../docs -e 'include("../docs/make.jl"); build_and_deploy("dev")'
	git config user.name github-actions
	git config user.email [email protected]
	git add .
	git commit -m "(dev) Built by Publish.jl."
	git push

Provide feedback