Skip to content
Run mypy_primer

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

Sign in to view logs

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. #10201

Re-run triggered December 10, 2025 22:24
@hauntsaninjahauntsaninja
#20207
wyattscarpenter:pip-dev
Status Success
Total duration 18m 17s
Artifacts 1

mypy_primer.yml

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

Artifacts

Produced during runtime
Name Size Digest
mypy_primer_diffs
832 Bytes
sha256:26abab3a4b07fc15a49141e40ed41490f067fba942d741c11a0b747b681d1a66