Skip to content

Merge pull request #19057 from hvitved/rust/dependency-renaming #8042

Merge pull request #19057 from hvitved/rust/dependency-renaming

Merge pull request #19057 from hvitved/rust/dependency-renaming #8042

Triggered via push March 20, 2025 11:51
Status Success
Total duration 1m 47s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.72 KB
sha256:3ad932bce60182bba83db44cb3c7ee3302747b84d5fde587f0528b6939bf1d1d
metrics-java.sarif Expired
4.82 KB
sha256:edb47e84f7828044f2837dedb85647a4019bbaa88e03ee024ce9a87e62f76a39