feat(miner-extension): add read-only issue-page opportunity badge - #4559

Closed

RealDiligent wants to merge 3 commits into

JSONbored:mainfrom

RealDiligent:feat/miner-extension-opportunity-badge-4308

Commits on Jul 10, 2026

feat(miner-extension): add read-only issue-page opportunity badge

RealDiligent
and
cursoragent
committed
85acaf5
fix(test): satisfy RawCandidateIssue literal types in miner extension tests

RealDiligent
and
cursoragent
committed
29d6de9
ci: retrigger validation after typecheck fix

RealDiligent
and
cursoragent
committed
8c9aec9