Pre-commit CI

Allow each optimality metric in a separate line. #263

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit	1m 12s
MyPy (3.10)	24s
MyPy (3.11)	25s
MyPy (3.12)	26s
MyPy (3.9)	30s
	2m 57s