gh-127443: add tool for linting Doc/data/refcounts.dat
#10946
Triggered via pull request
December 2, 2024 14:42
picnixz
Status
Cancelled
Total duration
1m 17s
Artifacts
–
Annotations
9 errors
|
Run mypy on Lib/_pyrepl
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Lib/test/libregrtest
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/build
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/clinic
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/cases_generator
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/refcounts
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/wasm
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/jit
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|
|
Run mypy on Tools/peg_generator
Canceling since a higher priority waiting request for 'mypy-tools/refcounts/lint-127443' exists
|