Deploy docs to gh-pages on merge #6

	name: Build and Deploy

	on:
	pull_request:
	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

	# Only run this job if there were changes in the docs folder
	paths:
Check failure on line 19 in .github/workflows/build-and-deploy.yml View workflow run for this annotation GitHub Actions / Build and Deploy Invalid workflow file `The workflow is not valid. .github/workflows/build-and-deploy.yml (Line: 19, Col: 5): Unexpected value 'paths'`
	- ./docs/*

	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

Provide feedback