Rust

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
contracts-build	28s
build	2m 30s
why3-deps	27s
fmt	24s
why3	4m 3s
install	2m 13s
	10m 5s