Skip to content

Merge pull request #166 from schneiderlin/patch-1 #59

Merge pull request #166 from schneiderlin/patch-1

Merge pull request #166 from schneiderlin/patch-1 #59

name: Build and Deploy
on:
push:
branches:
- master
workflow_dispatch:
# This is just a guard against two of these actions
# running at the same time. Not likely an issue for
# us right now, but it could happen.
concurrency: build-and-deploy-${{ github.ref }}
jobs:
deploy-docs:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Deploy documentation
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: docs
branch: gh-pages # default for this action, but including to be explicit