Repository navigation

Perf: gate type-report cleanup off the critical path (#21) - #267

Merged

b-re-w merged 1 commit into

feat/tp-gate-cost

Oct 24, 2026

Merged

Perf: gate type-report cleanup off the critical path (#21)#267
b-re-w merged 1 commit into
developfrom
feat/tp-gate-cost

Commits on Oct 24, 2026
- Perf: gate deletes the type report off the critical path, measurement prints a breakdown (#21)
  b-re-w
  committed
  b2fd6a2