Skip to content
Rust

creusot-contracts: Add Iterator impls for [T;N], &mut I (#1290) #4470

Sign in to view logs

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

creusot-contracts: Add Iterator impls for [T;N], &mut I (#1290) #4470

Run time

Learn about OS pricing on GitHub Actions
Job Run time
why3-deps
25s
contracts-build
27s
fmt
25s
build
2m 26s
install
1m 29s
why3
4m 3s
9m 15s