Skip to content

Merge pull request #18035 from github/redsun82/rust-str #7317

Merge pull request #18035 from github/redsun82/rust-str

Merge pull request #18035 from github/redsun82/rust-str #7317

Triggered via push November 25, 2024 08:29
Status Success
Total duration 2m 1s
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:c11c2f9a4005b79b7ecd20172b03e516258f1d736a65c0ed2d4bda4e0c57d37a
metrics-java.sarif Expired
4.82 KB
sha256:348d37c31f1dd2e74958dd6fccfa4e58e7b23c630d59515a0771ea1f2987be95