Rename type-checking directory to type_checking#160

Merged

francium merged 1 commit intomasterfrom fix/rename-test-checking-directory-name

Dec 8, 2023

+2-2

Commits on Dec 8, 2023

Rename test-checking directory to test_checking
francium
committed