File tree Expand file tree Collapse file tree 4 files changed +0
-49
lines changed Expand file tree Collapse file tree 4 files changed +0
-49
lines changed Original file line number Diff line number Diff line change 55
55
56
56
run_pylint pymbolic test/test_*.py
57
57
58
- mypy :
59
- name : Mypy
60
- runs-on : ubuntu-latest
61
- steps :
62
- - uses : actions/checkout@v4
63
- -
64
- uses : actions/setup-python@v5
65
- with :
66
- python-version : ' 3.x'
67
- - name : " Main Script"
68
- run : |
69
- curl -L -O https://tiker.net/ci-support-v0
70
- . ./ci-support-v0
71
- build_py_project_in_venv
72
- pip install -e .[test]
73
- python -m pip install mypy numpy
74
- ./run-mypy.sh
75
-
76
58
basedpyright :
77
59
runs-on : ubuntu-latest
78
60
Original file line number Diff line number Diff line change @@ -40,19 +40,6 @@ Pylint:
40
40
except :
41
41
- tags
42
42
43
- Mypy :
44
- script : |
45
- curl -L -O https://tiker.net/ci-support-v0
46
- . ./ci-support-v0
47
- build_py_project_in_venv
48
- pip install -e .[test]
49
- python -m pip install mypy numpy
50
- ./run-mypy.sh
51
- tags :
52
- - python3
53
- except :
54
- - tags
55
-
56
43
Documentation :
57
44
script :
58
45
- EXTRA_INSTALL="numpy sympy"
Original file line number Diff line number Diff line change @@ -40,7 +40,6 @@ numpy = [
40
40
" numpy>=1.6" ,
41
41
]
42
42
test = [
43
- " mypy" ,
44
43
" pytest" ,
45
44
" ruff" ,
46
45
# only needed for type checking
@@ -103,20 +102,6 @@ lines-after-imports = 2
103
102
combine-as-imports = true
104
103
required-imports = [" from __future__ import annotations" ]
105
104
106
- [tool .mypy ]
107
- python_version = " 3.10"
108
- warn_unused_ignores = true
109
-
110
- [[tool .mypy .overrides ]]
111
- module = [
112
- " sympy.*" ,
113
- " symengine.*" ,
114
- " matchpy.*" ,
115
- " multiset.*" ,
116
- " pexpect.*" ,
117
- ]
118
- ignore_missing_imports = true
119
-
120
105
[tool .basedpyright ]
121
106
reportImplicitStringConcatenation = " none"
122
107
reportUnnecessaryIsInstance = " none"
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments