Skip to content

Merge pull request #20571 from github/ginsbach/MoreAnnotationDocs #9243

Merge pull request #20571 from github/ginsbach/MoreAnnotationDocs

Merge pull request #20571 from github/ginsbach/MoreAnnotationDocs #9243

Triggered via push October 2, 2025 08:11
Status Success
Total duration 1m 35s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:00a5c7cece62fecadb767e2485f3f233b1ab597c21d7d1985da2d1a1cec13773
metrics-java.sarif Expired
5.1 KB
sha256:db21c32fe33548982b078ad9f53fb8c47e8a84d3339114e49904a2f9cb7dc9a6