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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	25s
test (3.9)	2m 5s
test (3.10)	1m 58s
test (3.11)	2m 13s
test (3.12)	3m 2s
test (3.13)	2m 23s
finish	5s
	12m 11s