fix RTD build #9

	name: 'Build RTD'

	on:
	push:
	branches:
	- 'devel*'
	pull_request:
	branches:
	- 'devel*'
	- 'master*'

	# This allows a subsequently queued workflow run to interrupt previous runs
	concurrency:
	group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label \|\| github.head_ref \|\| github.ref }}'
	cancel-in-progress: true

	jobs:
	rtd:
	name: "Build documentation"
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2

	- name: Set up Python
	uses: actions/setup-python@v2
	with:
	python-version: 3.12

	- name: Install dependencies
	run: \|
	python -m pip install -U pip
	python -m pip install -r requirements-docs-ci.txt

	- name: Build the docs
	run: \|
	sphinx-build -M html docs/source docs/build

	- uses: actions/upload-artifact@v4
	with:
	name: rtd-${{ github.sha }}
	path: docs/build

	- name: Trigger RTDs build
	uses: dfm/rtds-action@v1
	with:
	webhook_url: ${{ secrets.RTD_URL }}
	webhook_token: ${{ secrets.RTD_TOKEN }}
	commit_ref: ${{ github.ref }}

Provide feedback