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
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.72 KB
sha256:3ad932bce60182bba83db44cb3c7ee3302747b84d5fde587f0528b6939bf1d1d
metrics-java.sarif Expired
4.82 KB
sha256:edb47e84f7828044f2837dedb85647a4019bbaa88e03ee024ce9a87e62f76a39