build: add Source Link to embed GitHub source mappings in PDBs#40055

Merged

benhillis merged 2 commits intomasterfrom

user/benhill/source_link

Apr 7, 2026

Commits on Mar 31, 2026

build: add Source Link to embed GitHub source mappings in PDBs
Ben Hillis
committed

Commits on Apr 6, 2026

Gate Source Link on pipeline builds only

Ben Hillis
and
Copilot
committed