build

Add representative BDD size data for FWD reachability. #147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	14s
Check	1m 22s
Clippy	1m 18s
Test Suite	1m 28s
Code coverage	0s
	4m 22s