Skip to content

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

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

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

Triggered via push July 10, 2025 11:59
Status Success
Total duration 1m 31s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.92 KB
sha256:acdc554780e42d2c5a6c15dd6f57174e0d5dbaba946ed053a830de2cfe09a005
metrics-java.sarif Expired
5 KB
sha256:1e2932cd2171faf9591194a7dbb6204ff391cde8ae1abefc910784e7da8bc611