Rust

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
contracts-build	24s
fmt	23s
why3-deps	24s
build	1m 25s
install	1m 37s
why3	4m 3s
	8m 16s