Skip to content

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

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

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

Triggered via push August 17, 2026 13:13
Status Success
Total duration 8m 13s
Artifacts 1

coverage.yml

on: push
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:28dbb9dde1dc7ec979d5d0c6c80657620426a351e724155ced1ca2f3ec64ff78