Skip to content
Check Std Verification

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-std (ubuntu-22.04)
4m 5s
verify-std (macos-14)
4m 27s
8m 32s