scriptcheck

Fix #14319: originalName missing from the dumpfile #19884

Sign in to view logs

Triggered via pull request December 9, 2025 02:28

swasti16

opened #8022

swasti16:swasti/14319_orignalName

Status Success

Total duration 10m 49s

Artifacts –

scriptcheck.yml

on: pull_request

Matrix: dmake

Matrix: scriptcheck