Skip to content

One heads reading per file: pool census projects it instead of re-parsing (resolver cost, step 2) - #12656

Merged
gunbai-bot[bot] merged 5 commits into
mainfrom
session/bold-bat-516-heads
Sep 30, 2026
Merged

One heads reading per file: pool census projects it instead of re-parsing (resolver cost, step 2)#12656
gunbai-bot[bot] merged 5 commits into
mainfrom
session/bold-bat-516-heads

Heads projection: name Node.declaration (#12612); the parser never wr…

a88e21b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar