add an action to deploy to github pages when pushed to master.

.github/workflows/pages.yml

@@ -0,0 +1,27 @@
+on: 
+ push:
+ branches: 
+ - master
+jobs:
+ run:
+ runs-on: ubuntu-18.04
+ steps:
+ # - uses: docker://pandoc/latex:2.9
+ - uses: actions/checkout@master
+ - uses: actions/setup-python@v2
+ with:
+ python-version: '3.8' # Version range or exact version of a Python version to use, using semvers version range syntax.
+ architecture: 'x64' # (x64 or x86)
+ - run: |
+ sudo apt install pandoc
+ # add dependencies based on the conf.py
+ pip install sphinx myst-parser sphinx-copybutton sphinx-markdown-tables
+ sphinx-build spec build
+ touch build/.nojekyll
+ - name: Build and Deploy
+ uses: JamesIves/github-pages-deploy-action@master
+ env:
+ ACCESS_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+ BASE_BRANCH: master # The branch the action should deploy from.
+ BRANCH: gh-pages # The branch the action should deploy to.
+ FOLDER: build