Skip to content

Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-… #9581

Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-…

Merge pull request #21025 from github/oscarsj/mergeback-rc-3-20-into-… #9581

Triggered via push December 15, 2025 11:00
Status Success
Total duration 1m 35s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.92 KB
sha256:53f7f22a2026f5b6326abd2a8ddfd169dd36c2c083edf810b7d66509b0a939ad
metrics-java.sarif
5.1 KB
sha256:47420100ab949e32d839c191b3d1faa08fc07194415c38e55d2beb9a46b032da