feat(driver): add per-phase pipeline timing instrumentation#1741

Draft

ghaith wants to merge 4 commits into

incremental/pr-a-phase-timing

Commits on May 18, 2026

feat(driver): add per-phase pipeline timing instrumentation

ghaith
and
claude
committed
feat(driver): time the link step and document build vs check traces

ghaith
and
claude
committed

Commits on May 27, 2026

perf(driver): skip lowering hooks whose preconditions don't hold (#1744)

ghaith
and
claude
authored
Merge branch 'master' into incremental/pr-a-phase-timing
ghaith
authored