Rename type-checking directory to type_checking (#160)

Author: francium

.github/workflows/ci.yml

@@ -46,14 +46,14 @@ jobs:
 
       # Tests
       - name: Run tests
-        run: pytest --ignore=tests/test_pattern_matching.py --ignore=tests/type-checking/test_result.yml
+        run: pytest --ignore=tests/test_pattern_matching.py --ignore=tests/type_checking/test_result.yml
       - name: Run tests (type checking)
         if: matrix.python != '3.8' && matrix.python != '3.9'
         # These started breaking for <= 3.9, due to the type checker using a
         # '|' for unions rather than 'Union[...]', so it's not possible to run
         # the tests without maintaining two duplicate files (one for <= 3.9 and
         # one for > 3.9)
-        run: pytest tests/type-checking/test_result.yml
+        run: pytest tests/type_checking/test_result.yml
       - name: Run tests (pattern matching)
         if: matrix.python == '3.10' || matrix.python == '3.11' || matrix.python == '3.12'
         run: pytest tests/test_pattern_matching.py