[earlgrey_es] Cherry-pick #19741
Merged
[earlgrey_es] Cherry-pick #19741
Azure Pipelines / CI (Verilated English Breakfast (Build))
succeeded
Sep 25, 2023 in 7m 52s
Verilated English Breakfast (Build) succeeded
Loading