Skip to content

Merge pull request #21179 from hvitved/rust/fix-bad-join #9703

Merge pull request #21179 from hvitved/rust/fix-bad-join

Merge pull request #21179 from hvitved/rust/fix-bad-join #9703

Triggered via push January 16, 2026 16:20
Status Success
Total duration 1m 34s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.93 KB
sha256:8d9088e42509c9aadbaedb1ee1255a57cc1b655dda1d8b9bc1d743e13194302b
metrics-java.sarif
5.2 KB
sha256:09551462141fe55d1dedaa2bffff99ebb22c8000687d6acdc60e5d5609899a03