Skip to content

feat: add `linter.redundantExpose` for redundant `@[expose]`/`@[no_ex…

8400f35
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat: add linter.redundantExpose for redundant @[expose]/@[no_expose] attributes #13359

feat: add `linter.redundantExpose` for redundant `@[expose]`/`@[no_ex…
8400f35
Select commit
Loading
Failed to load commit list.
check-awaiting-mathlib
succeeded Apr 13, 2026 in 3s