Cargo · crates.io

verus_builtin_macros

Cargo Proc Macro Crate: proc-macro crate — library code executes at the consumer's compile time.

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.0.0-2026-05-31-0205`	Review	3	2026-05-31

Block this in CI

PkgRadar gates verus_builtin_macros (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem cargo [email protected]