ci

Merge pull request #523 from writer/dev #1020

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9)	2m 39s
build (3.10)	2m 45s
build (3.11)	2m 34s
build (3.12)	2m 52s
	10m 50s