Skip to content

Merge pull request #19291 from github/redsun82/rust-pick-edition #8236

Merge pull request #19291 from github/redsun82/rust-pick-edition

Merge pull request #19291 from github/redsun82/rust-pick-edition #8236

Triggered via push April 14, 2025 14:26
Status Success
Total duration 1m 35s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.71 KB
sha256:0d76b9bb8980cd108cd75b2585189ab389c4b122fdd288ddc075f8121d8f4aa5
metrics-java.sarif
4.81 KB
sha256:097d20da486bcee8f67025d85ec7d6592c243be8e8da5b69dac6c4f523a608ff