Skip to content

Update GitHub-related Documentation (#61) #36

Update GitHub-related Documentation (#61)

Update GitHub-related Documentation (#61) #36

Workflow file for this run

name: Github Pages build
on:
push:
branches:
- main
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: actions/setup-python@v4
with:
python-version: "3.12"
- name: Build docs
run: |
pip install pipenv
pipenv install --ignore-pipfile --deploy
pipenv run make html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/html