GitHub CI

Fixes wrong target syntax #2287

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.10)	20m 20s
Core / Unit Test Pipeline (3.11)	7m 57s
Core / Unit Test Pipeline (3.12)	7m 49s
Petals Compatibility	0s
	36m 6s