Skip to content
Kani Format Check

RFC: Attribute to distinguish safety preconditions from panic freedom #9585

Sign in to view logs

RFC: Attribute to distinguish safety preconditions from panic freedom

RFC: Attribute to distinguish safety preconditions from panic freedom #9585

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
3m 30s
format-check
4s
3m 34s