Skip to content
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.

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

[Diagnostics] Add educational notes into serialized diagnostics #70391

Merged
merged 1 commit into from
Dec 14, 2023

Conversation

xedin
Copy link
Contributor

@xedin xedin commented Dec 11, 2023

Use flag record (currently unused) to emit semi-colon separated list of paths
to educational notes associated with a diagnostic.

Resolves: rdar://118993780

@xedin xedin requested a review from DougGregor December 11, 2023 23:04
@xedin
Copy link
Contributor Author

xedin commented Dec 11, 2023

@swift-ci please test

@xedin
Copy link
Contributor Author

xedin commented Dec 11, 2023

@swift-ci please build toolchain macOS platform

@xedin
Copy link
Contributor Author

xedin commented Dec 12, 2023

@swift-ci please test Linux platform

@xedin
Copy link
Contributor Author

xedin commented Dec 12, 2023

@swift-ci please test Windows platform

@xedin
Copy link
Contributor Author

xedin commented Dec 12, 2023

@swift-ci please test Linux platform

@xedin
Copy link
Contributor Author

xedin commented Dec 12, 2023

@swift-ci please test Windows platform

Use flag record (currently unused) to emit semi-colon separated
list of paths to educational notes associated with a diagnostic.

Resolves: rdar://118993780
@xedin
Copy link
Contributor Author

xedin commented Dec 12, 2023

@swift-ci please test

@xedin
Copy link
Contributor Author

xedin commented Dec 13, 2023

@swift-ci please test Linux platform

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant