Skip to content

Fix error publishing docs #6

Fix error publishing docs

Fix error publishing docs #6

Workflow file for this run

name: Publish Site
on:
pull_request:
jobs:
publish:
runs-on: ubuntu-20.04
permissions:
contents: write
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 }}