CI

Add redirection to main website (#264) #1119

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, 5.0.2)	3m 55s
build (3.11, 5.0.2)	3m 42s
build (3.12, 5.0.2)	4m 7s
	11m 44s