jingle_sleigh

feat: Implement JingleDisplay for SmtValuationState (#157) #827

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cargo on Windows (msvc)	2m 40s
Cargo on macOS	1m 51s
Rust nightly	2m 17s
Rust stable	1m 17s
	8m 5s