Skip to content

Merge pull request #21225 from github/rc/3.20 #9753

Merge pull request #21225 from github/rc/3.20

Merge pull request #21225 from github/rc/3.20 #9753

Triggered via push January 27, 2026 15:57
Status Success
Total duration 2m 4s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.93 KB
sha256:8d6560262173f897fac5a22d79426b7182d812ad754fc81a509ad042c36f800e
metrics-java.sarif
5.21 KB
sha256:7a0a38ac0825ae8b63db6b2c2a711d23f9ffa0cea9ea2d3e6859c6c27d08b244