Skip to content

Fix issue 13682: false negative: nullPointerRedundantCheck (multiple … #22086

Fix issue 13682: false negative: nullPointerRedundantCheck (multiple …

Fix issue 13682: false negative: nullPointerRedundantCheck (multiple … #22086

Triggered via push June 25, 2026 06:18
Status Success
Total duration 9m 30s
Artifacts 2

buildman.yml

on: push
convert_via_pandoc
17s
convert_via_pandoc
manpage
32s
manpage
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
convert_via_pandoc
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
manpage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, 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
cppcheck.1
4.73 KB
sha256:b9537bfe0a734d1260d176ecd94473c341d4fdf5810e0fbae821b823b8f800e7
output
533 KB
sha256:fc9a3d57d60d65584ac4beac14cfdcc0d61ee8300cf96ea463f9c55951dd3d8b