CI

CI: Update CI workflows #567

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (3.10)	1m 48s
Build (3.13)	1m 47s
Build (3.11, lint)	2m 43s
Build (3.11, docs)	9m 15s
	15m 33s