Skip to content

Build docs as part of github #1

Build docs as part of github

Build docs as part of github #1

Workflow file for this run

name: Build Documentation
on: push
permissions:
contents: write
jobs:
build-documentation:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Build Docs
run: |
./script/build_docs.zsh
- name: Deploy Docs
if: github.ref == 'refs/heads/main'
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: docs