Fix error publishing docs #8

	name: Publish Site
	on:
	pull_request:
	permissions:
	contents: write
	pages: write
	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: setup git
	run: \|
	git config --global user.name github-actions
	git config --global user.email [email protected]

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

Provide feedback