Skip to content

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

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

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

Triggered via push November 13, 2025 18:11
Status Success
Total duration 1m 32s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.91 KB
sha256:bd8dcc04d6a3935f0a17f78b8fc54b4bd014062ba92f7a567675c0d5b62e3a09
metrics-java.sarif Expired
5.1 KB
sha256:84a34abd3d750d2531c332b7099b15dd86f822ef5f015db3a46b2ceb9e61235e