build

Optimize `BddVariableSet::new`, 2x speedup #152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	11s
Check	20s
Clippy	19s
Test Suite (linux)	46s
Code coverage	1m 58s
	3m 34s