Issues · hauntsaninja/mypy_primer · GitHub

Labels Milestones New issue

Consider adding Sentry

#202

· sobolevn opened

on Sep 13, 2025

Spurious diff due to stub line number changes

#200

· JelleZijlstra opened

on Aug 24, 2025

optionally tag a team or contact person if a PR is merged with negative effects?

#128

· mr-c opened

on Oct 4, 2024

Add repo owner to project name to reduce collision risk

#120

· flaeppe opened

on Apr 19, 2024

consider adding daf_butler

#117

· hauntsaninja opened

on Mar 10, 2024

Consider adding `freezeyt`

#116

· AlexWaygood opened

on Feb 27, 2024

Add Keylime to the type-checked projects

#113

· stefanberger opened

on Jan 16, 2024

Use cached "base" errors

#82

· ikonst opened

on May 26, 2023

Can we use `mypy_primer` to check the effects of adding a `py.typed` marker or library changes?

#78

· sirosen opened

on Mar 6, 2023

Some more projects to check

#71

· A5rocks opened

on Dec 14, 2022

Feat: Support detecting dependencies of projects being scanned

#49

· kkirsche opened

on Oct 12, 2022

add more projects that use pyright

#43

· hauntsaninja opened

on Aug 5, 2022