Go modules · proxy.golang.org

github.com/lewtec/leaven-tree-sitter/grammar/agda

Go Mod Replace Local

Why PkgRadar flagged v0.0.0-20260809224954-187cc8c2df44

Severity	Signal	Evidence
medium	Go Mod Replace Local	—

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

Scanned versions

Version	Verdict	Score	Scanned (UTC)
`v0.0.0-20260809224954-187cc8c2df44`	Review	10	2026-08-11
`v0.0.0-20260809221430-263c77703ffb`	Review	10	2026-08-11
`v0.0.0-20260809214317-52ad0b2f8f22`	Review	10	2026-08-10

Block this in CI

PkgRadar gates github.com/lewtec/leaven-tree-sitter/grammar/agda (and every other dependency) before it merges. One line in your pipeline:

pkgradar gate --ecosystem go github.com/lewtec/leaven-tree-sitter/grammar/[email protected]