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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

benhillis merged 2 commits into master from user/benhill/source_link

Apr 7, 2026

+10 −0

Merged

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

Gate Source Link on pipeline builds only

Azure Pipelines / wsl-github-pr (build Formatting & localization checks) succeeded Apr 6, 2026 in 1m 47s

build Formatting & localization checks succeeded

0 errors / 0 warnings

View more details on Azure Pipelines