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