Some revisions #32

Job	Run time
build-image (firedrake, ubuntu-24.04, amd64)	1m 59s
build-image (dolfinx, ubuntu-24.04, amd64)	1h 5m 57s
build-image (mfem, ubuntu-24.04, amd64)	23s
merge-and-publish (firedrake)	8s
merge-and-publish (dolfinx)	6s
merge-and-publish (mfem)	6s
	1h 8m 39s

Provide feedback