Skip to content

Fix #14946: originalName in dumpfile missing for local typedefs #22469

Fix #14946: originalName in dumpfile missing for local typedefs

Fix #14946: originalName in dumpfile missing for local typedefs #22469

Triggered via pull request July 28, 2026 08:47
Status Success
Total duration 49s
Artifacts 2

buildman.yml

on: pull_request
convert_via_pandoc
17s
convert_via_pandoc
manpage
31s
manpage
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
cppcheck.1
4.73 KB
sha256:850fca2d4152f30fddf48fa53d0d76c456db998265885adfbdbdcc9349377479
output
537 KB
sha256:e3407af63ef216e7f6a26aa27e3e8ae830d23712f5573d52610560d677f99da1