Cargo · crates.io

lemma-compiler

Suspicious Publish Context

Why PkgRadar flagged 20260805.0.0

Severity	Signal	Evidence
medium	Suspicious Publish Context	—

Showing signal labels only. Sign in to view the exact matched indicators for each finding.

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`20260805.0.0`	Review	10	2026-08-05

Block this in CI

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

pkgradar gate --ecosystem cargo [email protected]