Visitar URL original
Remove `builtins.ellipsis` pseudo-type · python/typeshed@ee76009 · GitHub
Skip to content

Remove builtins.ellipsis pseudo-type #23612

Remove builtins.ellipsis pseudo-type

Remove builtins.ellipsis pseudo-type #23612

Triggered via pull request October 8, 2026 13:35
@srittausrittau
synchronize #15712
rm-ellipsis
Status Cancelled
Total duration 4m 2s
Artifacts –

mypy_primer.yml

on: pull_request
Matrix: Run
Join artifacts
0s
Join artifacts
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 6 notices
Run (5)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (5)
The operation was canceled.
Run (0)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (0)
The operation was canceled.
Run (2)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (2)
The operation was canceled.
Run (1)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (1)
The operation was canceled.
Run (3)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (3)
The operation was canceled.
Run (4)
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (4)
The operation was canceled.
mypy_primer
Canceling since a higher priority waiting request for mypy_primer-rm-ellipsis exists
Run (5)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run (0)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run (2)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run (1)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run (3)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run (4)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"