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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	30s
test (3.9)	1m 54s
test (3.10)	2m 5s
test (3.11)	1m 52s
test (3.12)	2m 47s
test (3.13)	2m 30s
finish	4s
	11m 42s