Type ignore comments erroneously marked as unused by dmypy #5852
Triggered via pull request
October 22, 2023 17:05
meshy
Status
Cancelled
Total duration
3m 28s
Artifacts
–
Annotations
10 errors
|
Run mypy_primer (2)
Canceling since a higher priority waiting request for 'Run mypy_primer-unexpected-unused-type-ignore' exists
|
|
Run mypy_primer (2)
The operation was canceled.
|
|
Run mypy_primer (1)
Canceling since a higher priority waiting request for 'Run mypy_primer-unexpected-unused-type-ignore' exists
|
|
Run mypy_primer (1)
The operation was canceled.
|
|
Run mypy_primer (3)
Canceling since a higher priority waiting request for 'Run mypy_primer-unexpected-unused-type-ignore' exists
|
|
Run mypy_primer (3)
The operation was canceled.
|
|
Run mypy_primer (4)
Canceling since a higher priority waiting request for 'Run mypy_primer-unexpected-unused-type-ignore' exists
|
|
Run mypy_primer (4)
The operation was canceled.
|
|
Run mypy_primer (0)
Canceling since a higher priority waiting request for 'Run mypy_primer-unexpected-unused-type-ignore' exists
|
|
Run mypy_primer (0)
The operation was canceled.
|