Skip to content

Merge pull request #2727 from dotnet/ViktorHofer-patch-1 #6

Merge pull request #2727 from dotnet/ViktorHofer-patch-1

Merge pull request #2727 from dotnet/ViktorHofer-patch-1 #6

Triggered via push November 13, 2025 15:53
Status Success
Total duration 32s
Artifacts
Merge  /  run-merge
29s
Merge / run-merge
Fit to window
Zoom out
Zoom in