[pull] master from microsoft:master#940

Merged

pull[bot] merged 108 commits into

soredake:masterfrom

microsoft:master

Dec 3, 2025

Annotations

1 error and 10 warnings

The logs for this run have expired and are no longer available.