Skip to content

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

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

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

Triggered via push December 17, 2025 14:34
Status Success
Total duration 1m 48s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.93 KB
sha256:5b0b8747e776acfb23b2f55b01e480bb26d6413fd8b84b07a4cda53802072b8b
metrics-java.sarif
5.1 KB
sha256:04224268e1abdfce0a92e69e27fe0e7bbb0b6dcea475faeab713c7a9dc63326c