Skip to content

Merge pull request #20060 from jketema/typeid-fix #8835

Merge pull request #20060 from jketema/typeid-fix

Merge pull request #20060 from jketema/typeid-fix #8835

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

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:7fd1eb50d8918bb9d4be3b2d2866a2d15b2a0fcd6a2820d1894dcf07f7920f54
metrics-java.sarif Expired
5 KB
sha256:881fb1d0df9e6a019d2cef9f85d93f172df965c922ba6f200914d11078e8b54d