Skip to content

Merge pull request #20923 from github/felicity-fix-query-names #9486

Merge pull request #20923 from github/felicity-fix-query-names

Merge pull request #20923 from github/felicity-fix-query-names #9486

Triggered via push November 26, 2025 16:08
Status Success
Total duration 1m 40s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.91 KB
sha256:f6bcae1783503f8717658581a3a8261f9db74e2ba84b555f72a54f39bfcefd22
metrics-java.sarif Expired
5.1 KB
sha256:30a857b40a9259cc29bca32c4fae6675ec23a2a0048fb65f4bda86fee879915d