Skip to content

Merge pull request #19137 from github/redsun82/rust-renames #8116

Merge pull request #19137 from github/redsun82/rust-renames

Merge pull request #19137 from github/redsun82/rust-renames #8116

Triggered via push March 31, 2025 12:03
Status Success
Total duration 1m 40s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.72 KB
sha256:c8bc328641b2e8fad9b43a4bcfbbee5adc0f9c1bb1e9e87a7f95b9c55a7b193b
metrics-java.sarif Expired
4.82 KB
sha256:30973c7af3f12fce37b8fb8519cb13dc78bbc831fbe2022bc17273f1641c0b10