Skip to content

Merge pull request #114 from eric2003/hexin #10

Merge pull request #114 from eric2003/hexin

Merge pull request #114 from eric2003/hexin #10

Workflow file for this run

name: publish site
on:
push:
branches:
- master
pull_request:
branches:
- master
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: 3.x
- name: Install dependencies
run: |
pip install sphinx
pip install sphinx-rtd-theme
- name: Build docs
run: |
cd docs
sphinx-build -b html source/ build/html
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/build/html
force_orphan: true