Skip to content

Merge pull request #18115 from paldepind/rust-rename-expr #7336

Merge pull request #18115 from paldepind/rust-rename-expr

Merge pull request #18115 from paldepind/rust-rename-expr #7336

Triggered via push November 27, 2024 08:41
Status Success
Total duration 2m 15s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
metrics-csharp.sarif
1.74 KB
metrics-java.sarif
4.82 KB