Skip to content

Remove mypy and pytype in favour of pyrefly - #1093

Merged
tomchop merged 16 commits into
log2timeline:mainfrom
ramo-j:pyrefly
Aug 18, 2026
Merged

Remove mypy and pytype in favour of pyrefly#1093
tomchop merged 16 commits into
log2timeline:mainfrom
ramo-j:pyrefly

Commits

  1. Commits on Jun 5, 2026

  2. Commits on Jun 22, 2026

    • Progress

      ramo-jramo-j
      committed
      d5708c8

  3. Commits on Jul 24, 2026

  4. Commits on Aug 12, 2026

  5. Commits on Aug 14, 2026

  6. Commits on Aug 17, 2026

    • Progress

      ramo-jramo-j
      committed
      9cd0206

    • Progress

      ramo-jramo-j
      committed
      d03a9f9

  7. Commits on Aug 18, 2026

    • Progress

      ramo-jramo-j
      committed
      6927adf

    • Progress

      ramo-jramo-j
      committed
      dc3e48c

    • Typos

      ramo-jramo-j
      committed
      bda119b