build

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	12s
Check	16s
Clippy	18s
Test Suite (linux)	45s
Code coverage	2m 2s
	3m 33s