Skip to content

Merge pull request #20815 from github/update-ripunzip #9414

Merge pull request #20815 from github/update-ripunzip

Merge pull request #20815 from github/update-ripunzip #9414

Triggered via push November 12, 2025 09:26
Status Success
Total duration 1m 36s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:091a6f266b7a897f9a8c10bfc7f64c2a20e28a80f0564b62965333b08c89691a
metrics-java.sarif Expired
5.1 KB
sha256:f0476f8d6ff5ca2c9177ca9d655ab3a9b207b649efd650dea3d38ee246c6bbc2