PkgRadar

Cargo · crates.io

lean-rs-sys

Rs Build Time Command: Process spawn (std::process::Command) at build time.

Why PkgRadar flagged 0.2.4

SeveritySignalEvidence
mediumRs Build Time CommandProcess spawn (std::process::Command) at build time. · lean-rs-sys-0.2.4/build.rs

Scanned versions

VersionVerdictScoreScanned (UTC)
0.2.4Review302026-06-11
0.2.3Review302026-06-10
0.2.2Review302026-06-10
0.2.1Review302026-06-09
0.2.0Review302026-06-08
0.1.20Review302026-06-02
0.1.19Review302026-05-31
0.1.18Review302026-05-31
0.1.17Review302026-05-31
0.1.16Review302026-05-27

Block this in CI

PkgRadar gates lean-rs-sys (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem cargo [email protected]
Start free — 25 scans / moView full evidence