Skip to content

Merge pull request #19734 from github/idrissrio/goto #8574

Merge pull request #19734 from github/idrissrio/goto

Merge pull request #19734 from github/idrissrio/goto #8574

Triggered via push June 13, 2025 14:20
Status Success
Total duration 1m 42s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.72 KB
sha256:94313cd44d242bc9ae10a70568c028faf22e79759d31645411f82d03864e9fe2
metrics-java.sarif Expired
4.82 KB
sha256:5ac234e7a2007ce3757fb81cfa83946d8a83b923769adeac44dff711be1528d9