Skip to content

Merge pull request #20037 from paldepind/rust/type-inference-rename-e… #8820

Merge pull request #20037 from paldepind/rust/type-inference-rename-e…

Merge pull request #20037 from paldepind/rust/type-inference-rename-e… #8820

Triggered via push July 14, 2025 13:54
Status Success
Total duration 1m 31s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:0b0c1cf6a73e6c0047e16e85434a34ffd3361fe06c4e5a5f51a631c301bd60a5
metrics-java.sarif Expired
5 KB
sha256:047bcdfd006aa9671bd6c4d3dbb475161b96f478c0b68721be1933c77f3365b7