GitHub CI

Applies additional comments from Lukas #2335

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.10)	20m 21s
Core / Unit Test Pipeline (3.11)	8m 43s
Core / Unit Test Pipeline (3.12)	8m 43s
Petals Compatibility	-1s
	37m 46s