File tree Expand file tree Collapse file tree 5 files changed +1107
-1202
lines changed Expand file tree Collapse file tree 5 files changed +1107
-1202
lines changed Original file line number Diff line number Diff line change 1
- name : Mypy Checks
1
+ name : Ty Type Checks
2
2
3
3
on :
4
4
pull_request :
@@ -10,7 +10,7 @@ concurrency:
10
10
cancel-in-progress : true
11
11
12
12
jobs :
13
- mypy :
13
+ ty :
14
14
runs-on : ubuntu-latest
15
15
timeout-minutes : 20
16
16
38
38
done
39
39
echo "python_files=${python_files[*]}" >> $GITHUB_ENV
40
40
41
- - name : Add MyPy annotator
42
- uses : pr-annotators/mypy-pr-annotator@v1.0.0
43
-
44
- - name : Run mypy
41
+ - name : Run ty
45
42
if : ${{ env.python_files != '' }}
46
43
run : |
47
- echo "Running mypy on changed files: ${{ env.python_files }}"
48
- uv run mypy --no-pretty --show-absolute-path ${{ env.python_files }}
44
+ echo "Running ty on changed files: ${{ env.python_files }}"
45
+ uv run ty check --output-format concise --python-version 3.12 --exclude "**/tests/**" --exclude "**/codegen_tests/**" ${{ env.python_files }}
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -81,7 +81,7 @@ dev-dependencies = [
81
81
" pytest>=8.3.3" ,
82
82
" pytest-cov>=6.1.0,<6.1.1" ,
83
83
" ruff>=0.6.8" ,
84
- " mypy[mypyc,faster-cache]>=1.13.0 " ,
84
+ " ty>=0.0.1a10 " ,
85
85
" pre-commit>=4.0.1" ,
86
86
" pytest-xdist>=3.6.1,<4.0.0" ,
87
87
" pytest-mock<4.0.0,>=3.14.0" ,
Original file line number Diff line number Diff line change
1
+ # Ty type checker configuration
2
+ # Based on the previous mypy.ini configuration
3
+
4
+ # Basic configuration - ty is still in early development
5
+ # so configuration options are limited
You can’t perform that action at this time.
0 commit comments