Skip to content

Merge pull request #19454 from geoffw0/deref #8367

Merge pull request #19454 from geoffw0/deref

Merge pull request #19454 from geoffw0/deref #8367

Triggered via push May 13, 2025 12:17
Status Success
Total duration 1m 34s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.72 KB
sha256:46e0f9bdfd8caa21a88719bf44ad9c9829ca17dcf5fd926450be9c71d79db1ba
metrics-java.sarif Expired
4.82 KB
sha256:7b7960b1aa887888cf16e39a6e8c90546e10bf4f91b94e08e04e4df29f0720cb