Small corrections to Bernardi-Raugel #250

	name: 📙 DefElement

	on:
	pull_request

	jobs:
	defelement:
	name: Test DefElement build
	runs-on: ubuntu-latest
	steps:
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.12"
	- name: Load matrix cache
	id: cache-restore
	uses: actions/cache/restore@v3
	with:
	path: /home/runner/.cache/symfem
	key: symfem-matrix-cache
	- uses: actions/checkout@v4
	- run: pip install .[optional]
	name: Install Symfem

	- name: Clone DefElement
	uses: actions/checkout@v4
	with:
	path: ./defelement
	repository: mscroggs/defelement.com
	ref: main
	- name: Install requirements
	run: \|
	cd defelement
	pip install -r requirements.txt
	- name: Test DefElement build
	run: \|
	cd defelement
	python3 build.py ../_test_html --test auto

Provide feedback