PythonTA Tests

Update mypy configuration in StaticTypeChecker #1789

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	30s
test (3.9, base)	5m 19s
test (3.9, z3-solver)	4m 17s
test (3.10, base)	5m 30s
test (3.10, z3-solver)	7m 32s
test (3.11, base)	4m 48s
test (3.11, z3-solver)	4m 58s
test (3.12, base)	6m 29s
test (3.12, z3-solver)	8m 6s
test (3.13, base)	6m 2s
test (3.13, z3-solver)	5m 49s
finish	2s
	59m 22s