GitHub CI

Attempts at fixing the old url with dead SSL cert #2378

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.12)	7m 31s
Core / Unit Test Pipeline (3.11)	7m 25s
Core / Unit Test Pipeline (3.10)	13m 24s
Petals Compatibility	-294s
	23m 26s