PythonTA Tests

Refactor CI tests to separate z3 tests (#1126) #1771

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	21s
test (3.9, base)	1m 49s
test (3.9, z3-solver)	2m 6s
test (3.10, base)	2m 22s
test (3.10, z3-solver)	2m 36s
test (3.11, base)	2m 15s
test (3.11, z3-solver)	2m 28s
test (3.12, base)	4m 49s
test (3.12, z3-solver)	3m 25s
test (3.13, base)	2m 48s
test (3.13, z3-solver)	3m 5s
finish	5s
	28m 9s