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
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.74 KB
sha256:bfb35ffb85b6d2a15582df9e08a3311d385859e69932bf9aafc3932b40ed63ee
metrics-java.sarif Expired
4.82 KB
sha256:4017f545e1b8d1da0baa982c38c799a747588a44204a33592461da6fe760f0a7