Skip to content

Merge pull request #20975 from github/oscarsj/merge-back-rc-3.20 #9533

Merge pull request #20975 from github/oscarsj/merge-back-rc-3.20

Merge pull request #20975 from github/oscarsj/merge-back-rc-3.20 #9533

Triggered via push December 5, 2025 20:16
Status Success
Total duration 1m 32s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.91 KB
sha256:c5d0ef6dd1c67ca2b18bdef0f9886fee1c2e60df736f056756480f3f4925f8fd
metrics-java.sarif
5.1 KB
sha256:4d6992815cc5771d92f09e8c92ccff82099548e183e8f0f4f0dbfb8b391b607b