Skip to content
Rust

Non Prusti specific changes that are helpful for adding Prusi-ish syntax #3327

Sign in to view logs

Non Prusti specific changes that are helpful for adding Prusi-ish syntax

Non Prusti specific changes that are helpful for adding Prusi-ish syntax #3327

Run time

Learn about OS pricing on GitHub Actions
Job Run time
fmt
20s
build
5m 31s
contracts-build
38s
why3
5m 18s
11m 47s