Back to pull request #547

Use available versions to simplify unsat error reports #1559

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cargo fmt	14s
cargo test \| ubuntu-latest	4m 4s
cargo clippy	54s
	5m 12s