Skip to content

Merge pull request #20971 from github/redsun82/ripunzip #9531

Merge pull request #20971 from github/redsun82/ripunzip

Merge pull request #20971 from github/redsun82/ripunzip #9531

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

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.91 KB
sha256:fbb37f51dac9533db36457c839b615a5b85a1ecf5f857a8620f7085840e68442
metrics-java.sarif Expired
5.1 KB
sha256:3b4255f6def492c1696ace3f9b3a12a55a6bc4f49206db3a5a58ac98f4444bd1