Fix error publishing docs #1

	name: Publish Site
	on:
	pull_request:
	jobs:
	publish:
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0

	# setup build environment
	- uses: coursier/cache-action@v5
	- uses: olafurpg/setup-scala@v12

	# this setup is all for the github pages deployment to work
	- name: install sphinx
	run: \|
	pip3 install --user sphinx sphinx_rtd_theme
	which sphinx-build

	- name: Publish Site
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: sbt ghpagesPushSite

Provide feedback