Skip to content
This repository has been archived by the owner on Jan 3, 2024. It is now read-only.

Introduce mypy #388

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Introduce mypy #388

wants to merge 5 commits into from

Commits on Sep 4, 2021

  1. Add pre-commit hook for mypy

    @wkeeling
    wkeeling committed Sep 4, 2021
    Configuration menu
    Copy the full SHA
    6947720 View commit details
    Browse the repository at this point in the history

  2. Add mypy to ci build

    @wkeeling
    wkeeling committed Sep 4, 2021
    Configuration menu
    Copy the full SHA
    3ef0448 View commit details
    Browse the repository at this point in the history

  3. mypy fixes

    @wkeeling
    wkeeling committed Sep 4, 2021
    Configuration menu
    Copy the full SHA
    95f1e1d View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2021

  1. More typing fixes

    @wkeeling
    wkeeling committed Sep 8, 2021
    Configuration menu
    Copy the full SHA
    df37340 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2021

  1. Add mypy configuration, typing fixes

    @wkeeling
    wkeeling committed Oct 9, 2021
    Configuration menu
    Copy the full SHA
    72d562f View commit details
    Browse the repository at this point in the history