Cargo Build & Test

feat: unify proofs by receipt and assumption #821

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	1m 50s
Rustfmt	4s
Rust project - latest (nightly)	5m 30s
	7m 24s