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