Skip to content

Use docc for documentation, instead of having it all in a single, giant README. #2

Use docc for documentation, instead of having it all in a single, giant README.

Use docc for documentation, instead of having it all in a single, giant README. #2

Workflow file for this run

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