Skip to content
Check Std Verification

Define a struct-level #[safety_constraint(...)] attribute #71

Sign in to view logs

Define a struct-level #[safety_constraint(...)] attribute

Define a struct-level #[safety_constraint(...)] attribute #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-std (ubuntu-22.04)
3m 48s
verify-std (macos-14)
3m 41s
7m 29s