Commit 2026-10-01 12:01 033c22e2

perf(Linter/UnusedTactic): replace IO with BaseIO (#44377) This PR replaces IO with BaseIO to make the function getTactics from the unused tactic linter slightly faster. Explanation: the BaseIO monad is entirely removed by the compiler. On the other hand IO can throw/catch errors, which means extra work at runtime (even though we don't actually throw or catch any errors in the code).