Skip to content

Merge main into live#53880

Merged
gewarren merged 3 commits into
livefrom
main
May 19, 2026
Merged

Merge main into live#53880
gewarren merged 3 commits into
livefrom
main

Conversation

@github-advanced-security
Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@dotnetrepoman dotnetrepoman Bot added this to the May 2026 milestone May 19, 2026
antonymerle and others added 2 commits May 19, 2026 11:31
…53867)

* Pick up missing errors

The Source generator errors were already covered in the article, but weren't present in the front matter.

* Add additional related diagnostics

Search for other related daignosticss that haven't het been added.

* Build sections

Incorporate new diagnostics in the consolidated sections.

* Align messages

Align messages with the roslyn output.

* Proofread

* Initial stub file creation.

* Search for more related diagnostics

* Reorganize.

* Final proofread

* fix anchor

* Fix warnings and suggestions

Fix filename and dead links.
@gewarren gewarren merged commit ebe4425 into live May 19, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants