Skip to content
Check Std Verification

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-std (ubuntu-22.04)
5m 17s
verify-std (macos-14)
4m 34s
9m 51s