Skip to content

gate: lower MAX_DEAD_TRI 140 -> 138 after #10500 removed two dead tri mentions (Closes #10513) - #10514

Merged
gHashTag merged 1 commit into
masterfrom
claude/dead-tri-ratchet-10513
Oct 18, 2026
Merged

gate: lower MAX_DEAD_TRI 140 -> 138 after #10500 removed two dead tri mentions (Closes #10513)#10514
gHashTag merged 1 commit into
masterfrom
claude/dead-tri-ratchet-10513

gate: lower MAX_DEAD_TRI 140 -> 138 after #10500 removed two dead tri…

80988a7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar