Commit 2026-07-17 13:27 47550252
View on Github →perf(Tactic/Linter/Style): don't fold info trees in show linter (#41761)
This PR re-implements the show linter to not search the info tree, and instead work directly in the syntax.
perf(Tactic/Linter/Style): don't fold info trees in show linter (#41761)
This PR re-implements the show linter to not search the info tree, and instead work directly in the syntax.