Merge branch 'main' into effort_filenames #787

	name: CI

	on: push

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v4

	- name: Use Python 3.12 🐍
	uses: actions/setup-python@v5
	with:
	python-version: '3.12'

	- name: Install requirements 💾
	run: \|
	pip install --upgrade pip
	pip install -r requirements.txt

	- name: Run tests 🧪
	run: pytest

	deploy:
	runs-on: ubuntu-latest
	needs: test
	if: github.ref == 'refs/heads/main'
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v4
	with:
	persist-credentials: false

	- name: Use Python 3.12 🐍
	uses: actions/setup-python@v5
	with:
	python-version: '3.12'

	- name: Install pandoc 💾
	run: sudo apt-get install pandoc pandoc-citeproc

	- name: Install requirements 💾
	run: \|
	pip install --upgrade pip
	pip install -r requirements.txt

	- name: Run make 🔧
	run: make

	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages
	FOLDER: output

Provide feedback