Skip to content

Merge pull request #22460 from MathiasVP/add-crazy-fp #10618

Merge pull request #22460 from MathiasVP/add-crazy-fp

Merge pull request #22460 from MathiasVP/add-crazy-fp #10618

Triggered via push August 28, 2026 13:19
Status Success
Total duration 1m 31s
Artifacts 2
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
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/
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/

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.97 KB
sha256:77e686770b2bcaa359673e9026cec0af41be76a84b8d45ee16553f8feee468b6
metrics-java.sarif
5.47 KB
sha256:700509651d184958b16db64de1998814e733601f6661bb05e5b2ea6b24b48a79