Skip to content

FSharpDiagnostic: add default severity#19152

Merged
T-Gro merged 11 commits intodotnet:mainfrom
DedSec256:ber.a/defaultSeverity
Dec 17, 2025
Merged

FSharpDiagnostic: add default severity#19152
T-Gro merged 11 commits intodotnet:mainfrom
DedSec256:ber.a/defaultSeverity

Commits

Commits on Dec 11, 2025

Commits on Dec 12, 2025

Commits on Dec 15, 2025

Commits on Dec 17, 2025