Skip to content

Add a new dependency group called dev and add pip-tools to it. #10200

Add a new dependency group called dev and add pip-tools to it.

Add a new dependency group called dev and add pip-tools to it. #10200

Triggered via pull request December 10, 2025 21:39
Status Cancelled
Total duration 43s
Artifacts

mypy_primer.yml

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

Annotations

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