Skip to content

feat: do not have meta imply partial #21030

feat: do not have meta imply partial

feat: do not have meta imply partial #21030

check-lean-files

succeeded Dec 10, 2025 in 43s