Skip to content

Update main.yml

Update main.yml #2

Workflow file for this run

name: Docs
on: [push, pull_request, workflow_dispatch]
permissions:
contents: write
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
- name: Install dependencies
run: |
pip install sphinx myst-nb sphinx-book-theme sbmltoodejax
- name: Sphinx build
run: |
cd docs
python -m sphinx.cmd.build -nW --keep-going -b html source/ build/html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./public
force_orphan: true