@@ -41,14 +41,10 @@ jobs:
4141 id : ruff-format
4242 run : uv run ruff format --check
4343 continue-on-error : true
44- - name : Run MyPy Type Checker
45- id : mypy
44+ - name : Run ty Type Checker
45+ id : ty
4646 continue-on-error : true
47- run : uv run mypy src
48- - name : Run Pyright (Pylance equivalent)
49- id : pyright
50- continue-on-error : true
51- run : uv run pyright src
47+ run : uv run ty check --output-format=github
5248 - name : Run JSCPD for copy-paste detection
5349 id : jscpd
5450 continue-on-error : true
@@ -60,15 +56,13 @@ jobs:
6056 env :
6157 RUFF_LINT : ${{ steps.ruff-lint.outcome }}
6258 RUFF_FORMAT : ${{ steps.ruff-format.outcome }}
63- MYPY : ${{ steps.mypy.outcome }}
64- PYRIGHT : ${{ steps.pyright.outcome }}
59+ TY : ${{ steps.ty.outcome }}
6560 JSCPD : ${{ steps.jscpd.outcome }}
6661 run : |-
6762 failed=()
6863 [[ "$RUFF_LINT" == "failure" ]] && failed+=("Ruff Linter")
6964 [[ "$RUFF_FORMAT" == "failure" ]] && failed+=("Ruff Formatter")
70- [[ "$MYPY" == "failure" ]] && failed+=("MyPy")
71- [[ "$PYRIGHT" == "failure" ]] && failed+=("Pyright")
65+ [[ "$TY" == "failure" ]] && failed+=("ty")
7266 [[ "$JSCPD" == "failure" ]] && failed+=("JSCPD")
7367 if (( ${#failed[@]} )); then
7468 joined=$(IFS=', '; echo "${failed[*]}")
0 commit comments