Cargo · crates.io

converge-soter-cvc5-sys

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

Why PkgRadar flagged 0.2.3

Severity	Signal	Evidence
medium	Rs Build Time Command	Process spawn (std::process::Command) at build time. · converge-soter-cvc5-sys-0.2.3/build.rs

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`0.2.3`	Review	30	2026-06-02

Block this in CI

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

pkgradar gate --ecosystem cargo [email protected]