Skip to content

[wip] Better handling of generics when narrowing #10799

[wip] Better handling of generics when narrowing

[wip] Better handling of generics when narrowing #10799

Triggered via pull request February 6, 2026 23:28
Status Cancelled
Total duration 13m 34s
Artifacts 2

mypy_primer.yml

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

Annotations

10 errors
Run mypy_primer (4)
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists
Run mypy_primer (2)
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists
Run mypy_primer (2)
The operation was canceled.
Run mypy_primer (3)
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists
Run mypy_primer (3)
The operation was canceled.
Run mypy_primer (0)
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists
Run mypy_primer (0)
The operation was canceled.
Run mypy_primer (1)
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists
Run mypy_primer (1)
The operation was canceled.
Run mypy_primer
Canceling since a higher priority waiting request for Run mypy_primer-narrow54 exists

Artifacts

Produced during runtime
Name Size Digest
mypy_primer_diffs-4
254 Bytes
sha256:f261a80857c4d68d4a6c1b52c46b8fd70bce47545d232e9a63d4a96fef983f35
mypy_primer_diffs-5
244 Bytes
sha256:2f61f56e0ad4b9699ac28a4ab2bc08c53046883ceeb14ce7fe920177cd0c9318