Skip to content

Merge pull request #245 from microsoft/fix-extensional-warnings-power… #517

Merge pull request #245 from microsoft/fix-extensional-warnings-power…

Merge pull request #245 from microsoft/fix-extensional-warnings-power… #517

Triggered via push June 12, 2025 17:55
Status Success
Total duration 4m 24s
Artifacts
Matrix: CodeQL-Build
Fit to window
Zoom out
Zoom in