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