CI

Merge branch 'master' into dev #763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.12, x64)	39s
build (3.11, x64)	36s
build (3.13, x64)	43s
build (3.14, x64)	1m 30s
build (3.10, x64)	40s
	4m 8s