Back to pull request #672

Refactor proof types and method outputs #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cargo-fmt	35s
rustdoc	2m 26s
clippy	2m 53s
taplo-fmt	32s
udeps	2m 54s
	9m 20s