GitHub CI

Fixes wrong filename #2314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.11)	7m 23s
Core / Unit Test Pipeline (3.10)	20m 18s
Core / Unit Test Pipeline (3.12)	7m 27s
Petals Compatibility	0s
	35m 8s