Skip to content
Kani Format Check

Update crates documentation with info. on #[safety_constraint(...)] attribute for structs #7518

Sign in to view logs

Update crates documentation with info. on #[safety_constraint(...)] attribute for structs

Update crates documentation with info. on #[safety_constraint(...)] attribute for structs #7518

Run time

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