Skip to content

Merge pull request #21287 from github/redsun82/fix-rust-deps-patching #9792

Merge pull request #21287 from github/redsun82/fix-rust-deps-patching

Merge pull request #21287 from github/redsun82/fix-rust-deps-patching #9792

Triggered via push February 6, 2026 16:17
Status Success
Total duration 1m 46s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.97 KB
sha256:535416a326c3ed5e5b22813747057e05b489a63eef311b7e51505c8797da04c7
metrics-java.sarif
5.24 KB
sha256:3bfd1d3fb9412cbed4bab07789e0c20ea46d1c165153702158c0fc12d33862b2