Skip to content

Merge pull request #19329 from github/idrissrio/designated-initializer #8252

Merge pull request #19329 from github/idrissrio/designated-initializer

Merge pull request #19329 from github/idrissrio/designated-initializer #8252

Triggered via push April 17, 2025 11:15
Status Success
Total duration 1m 40s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif Expired
1.71 KB
sha256:d094194c9b41c107abbc1d565a11646bdc9245b9223fbe56da8fab588fcc9cff
metrics-java.sarif Expired
4.8 KB
sha256:176c9a6e56ef5260c285e8d8bb8a66d4fe1c7d485e9960d19b0725d20d1a3b1f