PythonTA Tests

Add `Z3` option to CFG-based checkers #1635

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	24s
test (3.9)	1m 55s
test (3.10)	1m 55s
test (3.11)	1m 55s
test (3.12)	6m 53s
test (3.13)	2m 20s
finish	3s
	15m 25s