GitHub CI

some typos and rephrasing #2395

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.12)	7m 36s
Core / Unit Test Pipeline (3.11)	20m 19s
Core / Unit Test Pipeline (3.10)	14m 21s
Petals Compatibility	0s
	42m 16s