Skip to content

Use Alloy for C# keywords and System.Text.Json symbols - #11599

Draft
Timothee Guerin (timotheeguerin) wants to merge 4 commits into
microsoft:mainfrom
timotheeguerin:hsc/alloy-naming-and-json-builtins
Draft

Use Alloy for C# keywords and System.Text.Json symbols#11599
Timothee Guerin (timotheeguerin) wants to merge 4 commits into
microsoft:mainfrom
timotheeguerin:hsc/alloy-naming-and-json-builtins

refactor(http-server-csharp): use Alloy for C# keywords and System.Te…

deadf7c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lint
succeeded Aug 7, 2026 in 49s