CI

Exact symbolic growth, unified reduction size contracts, and deterministic solver backends #1829

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	12s
macOS ARM64 build & run	1m 47s
Clippy	1m 48s
RISC-V build & run	1m 48s
Test	1m 48s
Windows x86_64 build & run	1m 37s
Code Coverage	1m 48s
	10m 48s