Skip to content

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

Fix #14946: originalName in dumpfile missing for local typedefs

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

Triggered via pull request August 13, 2026 13:52
Status Success
Total duration 5m 24s
Artifacts 1

coverage.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea, hendrikmuhs/ccache-action@v1.2. 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
Coverage results
7.8 MB
sha256:02cb21c0fcc06c994f4442e3ea8786f6945d561cfebb99458ee700c6bb14cf6e