Commit 2026-08-12 09:46 476b045e
View on Github →feat(Tactic/Linter/UnusedTactic): mark isIgnoreTacticKind and addIgnoreTacticKind as public (#41993)
Marks isIgnoreTacticKind and addIgnoreTacticKind in the unusedTactic linter as public definitions.