Fix #14946: `originalName` in dumpfile missing for local typedefs #17848

Triggered via pull request July 28, 2026 08:59

synchronize#8760

StatusSuccess

Total duration 28m 41s

Artifacts 2

selfcheck.yml

on: pull_request

1 warning

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, hendrikmuhs/ccache-action@v1.2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Produced during runtime

Name	Size	Digest
Callgrind Output	783 KB	`sha256:01e2ad5ec468b6b5c8c5915161ded304c9591b5f47b46fab4802b66a97488a26`
Memcheck Output	705 Bytes	`sha256:7c868ef7ef34af6f65deba1e4a6268335dccb0983a5692651607e964d2e84971`