PR #18239 Run mypy primer on Cargo.lock changes

Run mypy primer on Cargo.lock changes #18239

MichaReiser merged 1 commit into main from micha/mypy-cargo-lock

Run mypy primer on Cargo.lock changes

5f446c34

MichaReiser added ci

MichaReiser added ty

sharkdp approved these changes on 2025-05-21

MichaReiser merged cb9e6692 into main 206 days ago

MichaReiser deleted the micha/mypy-cargo-lock branch 206 days ago

Reviewers

sharkdp

Assignees

No one assigned

Labels

ci ty

Milestone

No milestone