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

Triggered via pull request August 2, 2024 19:59
@tautschnigtautschnig
synchronize #3405
adpaco-aws:docs-safety-const-attr
Status Success
Total duration 3m 16s
Artifacts –

format-check.yml

on: pull_request
format-check
4s
format-check
clippy-check
3m 6s
clippy-check
Fit to window
Zoom out
Zoom in