Skip to content

Re-remove Total Patrons from the patron stats group. (#138) #109

Re-remove Total Patrons from the patron stats group. (#138)

Re-remove Total Patrons from the patron stats group. (#138) #109

Workflow file for this run

name: Deploy Documentation
on:
push:
# If we are pushing to a release branch (main or master), then we need
# to deploy the documentation to GitHub Pages.
branches:
- main
- master
jobs:
gh-pages:
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v4
- name: Install Node.js 💻
uses: actions/setup-node@v4
with:
node-version: 18
- name: Install 🔧
run: npm ci
- name: Build docs 📃
run: npm run build-docs
- name: Deploy docs to GitHub pages 🚀
uses: JamesIves/github-pages-deploy-action@releases/v4
with:
branch: gh-pages
folder: docs