Skip to content

Merge pull request #20984 from github/rc/3.20 #9542

Merge pull request #20984 from github/rc/3.20

Merge pull request #20984 from github/rc/3.20 #9542

Triggered via push December 8, 2025 14:25
Status Success
Total duration 1m 34s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.92 KB
sha256:f222d7d5fdcd634429dc5f092625c1e983b5aed46e4a72d83d298795de871d8b
metrics-java.sarif
5.11 KB
sha256:303a04fd4a527e56a65a848f2aa671d8775219a1882fcb6e2332f0464c1ae03f