jingle_sleigh

refactor: simplify smt valuation names and make them unique #814

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cargo on Windows (msvc)	1s
Rust stable	1m 48s
Cargo on macOS	2m 18s
Rust nightly	2m 3s
	6m 10s