Allow arbitrary types in dict.pop (3 overloads)
#21498
Triggered via pull request
January 16, 2026 22:47
randolf-scholz
Status
Cancelled
Total duration
6m 39s
Artifacts
–
mypy_primer.yml
on: pull_request
Matrix: Run
Join artifacts
0s
Annotations
9 errors
|
Run (1)
Canceling since a higher priority waiting request for Run mypy_primer-with_3_overloads exists
|
|
Run (1)
The operation was canceled.
|
|
Run (0)
Canceling since a higher priority waiting request for Run mypy_primer-with_3_overloads exists
|
|
Run (0)
The operation was canceled.
|
|
Run (3)
Canceling since a higher priority waiting request for Run mypy_primer-with_3_overloads exists
|
|
Run (3)
The operation was canceled.
|
|
Run (2)
Canceling since a higher priority waiting request for Run mypy_primer-with_3_overloads exists
|
|
Run (2)
The operation was canceled.
|
|
Run mypy_primer
Canceling since a higher priority waiting request for Run mypy_primer-with_3_overloads exists
|