Skip to content

Merge pull request #20 from jonstacks/updates #10

Merge pull request #20 from jonstacks/updates

Merge pull request #20 from jonstacks/updates #10

Workflow file for this run

name: Docs
on:
push:
branches:
- master
jobs:
deploy:
name: Deploy
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- name: Checkout
uses: actions/checkout@v5
- name: Build Docs
run: make docs
working-directory: docs
- name: Deploy
uses: JamesIves/github-pages-deploy-action@4.1.4
with:
branch: gh-pages
folder: docs/public