Merge pull request #22470 from hvitved/flow-summary-source-sink-jump-… #10659
csv-coverage-metrics.yml
on: push
publish-java
1m 29s
publish-csharp
1m 22s
Annotations
2 warnings
|
publish-csharp
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
publish-java
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
metrics-csharp.sarif
|
2 KB |
sha256:7a1cd95e9d833c656c67238f52d9cbfb6d1061978a0be8eeefc1aa87a689c88a
|
|
|
metrics-java.sarif
|
5.53 KB |
sha256:a05ea275d8e281943618ab0d5a74462cc3bbc7b0c30647d2567aa05613538f9f
|
|