PythonTA Tests

Add z3 option to one iteration checker (#1105) #1682

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	27s
test (3.9)	2m 6s
test (3.10)	1m 59s
test (3.11)	1m 49s
test (3.12)	2m 45s
test (3.13)	2m 16s
finish	3s
	11m 25s