Skip to content
pull_request

generate extensions of wrapper types owned by other modules #1875

Sign in to view logs

generate extensions of wrapper types owned by other modules

generate extensions of wrapper types owned by other modules #1875

soundness  /  License headers check

soundness / License headers check
succeeded Aug 10, 2026 in 13s