Build and test

Merge pull request #307 from firedrakeproject/mscroggs/gdim #447

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10)	3m 18s
build (3.11)	3m 12s
build (3.12)	3m 47s
build (3.13)	5m 23s
	15m 40s