Rust

creusot-contracts: Add Iterator impls for [T;N], &mut I #4430

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 18s
contracts-build	26s
fmt	28s
why3-deps	24s
why3	54s
install	1m 37s
	5m 7s