ci

ty and codecov fixes #456

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	27s
typecheck	30s
test-rust	45s
test-solvers (3.13)	2m 9s
test-solvers (3.14)	1m 15s
test-examples (3.14)	1m 3s
test-examples (3.13)	1m 0s
test-examples (3.12)	1m 27s
test-solvers (3.12)	3m 19s
test-docs	0s
	11m 55s