Skip to content

Merge pull request #21215 from paldepind/shared/type-mention-tree #9744

Merge pull request #21215 from paldepind/shared/type-mention-tree

Merge pull request #21215 from paldepind/shared/type-mention-tree #9744

Triggered via push January 26, 2026 11:00
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
1.93 KB
sha256:11c029538fe199e549298eee0e3dc3b2602bfcaaa6ec95999f51e6e5b53884b9
metrics-java.sarif
5.2 KB
sha256:cb9a1a7397d6b608bbf5a61d5cbd409b1efc5c357fb73d3bcb710250bfaeab0a