Skip to content

Merge pull request #19963 from github/nickrolfe/rb-discard-locations #8768

Merge pull request #19963 from github/nickrolfe/rb-discard-locations

Merge pull request #19963 from github/nickrolfe/rb-discard-locations #8768

Triggered via push July 7, 2025 10:41
Status Success
Total duration 1m 32s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:b9e75b47921cc567d53b043cc39512c6534a8431af947eb682ecf59ffc7882b1
metrics-java.sarif Expired
5 KB
sha256:ebf784b5008f62948f8e1f3322eebd2bf703c6f38398784ac1d7a199216e9f85