Tests

Merge branch 'main' into 199-resolved-case-names-for-reference-citations #713

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10)	44s
build (3.11)	47s
build (3.12)	1m 3s
	2m 34s