fix: use --build for type-checking to be exhaustive and less-fragile#274
Merged
haoqunjiang merged 8 commits intomainfrom Dec 4, 2023
--build for type-checking to be exhaustive and less-fragile#274