auto-doc on docs push

This commit is contained in:
Loren Norman 2025-06-20 14:26:10 -04:00
parent ea360c90f7
commit 0bdd5f2783

View file

@ -1,7 +1,11 @@
# build the docs and deploy to github-pages
name: Build Docs and Deploy to Pages
on: workflow_dispatch
on:
workflow_dispatch:
push:
branches: ["docs"]
# later: auto-build on version tags
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
@ -59,4 +63,4 @@ jobs:
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
uses: actions/deploy-pages@v4