Skip to content

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

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

Triggered via pull request November 8, 2025 21:16
Status Success
Total duration 17m 14s
Artifacts 1

mypy_primer.yml

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

Artifacts

Produced during runtime
Name Size Digest
mypy_primer_diffs
832 Bytes
sha256:dcdd843d9fb01db84fbda9ec87f387fd96c0fd58bc4af93d921cf4c75c51db90