Skip to content

Merge branch 'github:main' into main #2

Merge branch 'github:main' into main

Merge branch 'github:main' into main #2

Triggered via push October 1, 2025 21:44
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.92 KB
sha256:1547315b58525250805fc5f7ac9bd7e02d7e0a053da49d8c8a47b987fcf37ed1
metrics-java.sarif Expired
5.1 KB
sha256:8728e3463b33a7c2a62f947d55d874b7d7ea2c9938451ad3c1b42f8cc8319678