Skip to content

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

Fix #14946: originalName in dumpfile missing for local typedefs

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

Triggered via pull request August 3, 2026 12:51
Status Success
Total duration 4m 43s
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/checkout@v4, actions/upload-artifact@v4, codecov/codecov-action@v4, 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.78 MB
sha256:7c317b089188c278f9f61bf6c9f51dfaa17458ca5d0c4e9a37b54ebc25765297