Skip to content

Merge pull request #15 from kevinsung/move-gates #10

Merge pull request #15 from kevinsung/move-gates

Merge pull request #15 from kevinsung/move-gates #10

Workflow file for this run

name: Build and deploy documentation for development branch
on:
workflow_dispatch:
push:
branches:
- main
jobs:
build_and_deploy_docs:
permissions:
contents: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v4
with:
python-version: "3.12"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install tox
sudo apt update
sudo apt install -y pandoc
- name: Build docs
run: |
tox run -e docs
- name: Deploy docs
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: docs/_build/html/
target-folder: dev/