ci

Merge pull request #864 from writer/dev #2380

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9)	4m 14s
build (3.10)	4m 26s
build (3.11)	4m 26s
build (3.12)	4m 43s
build (3.13)	4m 17s
	22m 6s