Add split typecheck scripts for build and tests#1539
Open
benceruleanlu wants to merge 1 commit intomainfrom
Open
Add split typecheck scripts for build and tests#1539benceruleanlu wants to merge 1 commit intomainfrom
benceruleanlu wants to merge 1 commit intomainfrom