Repository navigation

Local-player analysis: build it only for the passes which use it - #1430

Merged

Frotty merged 2 commits into

local-player-analysis-once

Oct 11, 2026

Merged

Local-player analysis: build it only for the passes which use it#1430
Frotty merged 2 commits into
masterfrom
local-player-analysis-once

Commits on Oct 11, 2026
- Local-player analysis: build it only for the passes which use it
  Frotty
  committed
  a4b67c7
- Say plainly that the last merge may share a local across locality
  Frotty
  committed
  ccfa7c9