Skip to content

Merge pull request #21180 from hvitved/rust/fix-bad-join2 #9707

Merge pull request #21180 from hvitved/rust/fix-bad-join2

Merge pull request #21180 from hvitved/rust/fix-bad-join2 #9707

Triggered via push January 19, 2026 07:22
Status Success
Total duration 2m 12s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.93 KB
sha256:1c84fb6b9ec9e45caba2d807bb1ff23c41372bf9c0f53b7d62121dacc537f749
metrics-java.sarif
5.2 KB
sha256:76226f315c3520369d337c5dc32ee56105dc94d79f31239a41a67d07caefb9ee