Skip to content

Merge pull request #10923 from dscho/patch-1 #8787

Merge pull request #10923 from dscho/patch-1

Merge pull request #10923 from dscho/patch-1 #8787

Triggered via push July 10, 2025 09:12
Status Success
Total duration 1m 30s
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.92 KB
sha256:9e591d0dfe73450098f2f61429498410920ac3e660b37cc338ba738d7b53c407
metrics-java.sarif Expired
5 KB
sha256:7b32b1c724fff81d03dd7753550577577ce9077caf82c2b3ca47d81798ab9211