Commit 2026-10-05 12:25 91b39d3f

perf(TacticAnalysis): reimplement findTacticSeqs (#44445) This PR reimplements the performance bottleneck of the tacticAnalysis linter (which is to find the tactic sequences in the info trees) to make it much faster. One downside of this refactor is that the TacticNode now doesn't anymore have a mayFail field. However, it seems that this is not an essential part of the framework, and it works fine without it.