Skip to content

Fix #14946: originalName in dumpfile missing for local typedefs (#8… #22521

Fix #14946: originalName in dumpfile missing for local typedefs (#8…

Fix #14946: originalName in dumpfile missing for local typedefs (#8… #22521

Triggered via push August 4, 2026 14:45
Status Success
Total duration 10m 51s
Artifacts 2

buildman.yml

on: push
convert_via_pandoc
22s
convert_via_pandoc
manpage
22s
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:b76ffaf5b918d131fac6f1f240bbce89ef71a4bd8d3704d2ee6cef55441b200a
output
537 KB
sha256:de16be6f5f00acf221bef28c4e3d1b20adc7a142b1e52aeae7f708c7e2589b3a