feat: introduce findMatchingDecl? for code quality checks in Lean.Linter
#49162
Triggered via pull request
September 3, 2026 13:52
wkrozowski
wkrozowski
ready_for_review
#14880
Status
Success
Total duration
8s
Artifacts
–