GitHub CI

Fixes type hints #2093

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Core / Unit Test Pipeline (3.10)	10m 23s
Core / Unit Test Pipeline (3.11)	7m 25s
Core / Unit Test Pipeline (3.12)	7m 41s
Petals Compatibility	0s
	25m 29s