Skip to content

Cherry-pick to master: [ownership] Fix protect_when_active behavior port #7039

Cherry-pick to master: [ownership] Fix protect_when_active behavior port

Cherry-pick to master: [ownership] Fix protect_when_active behavior port #7039

Verible lint

succeeded Mar 6, 2025 in 1m 9s