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

Introduce mypy#388

Open
wkeeling wants to merge 5 commits into
masterfrom
mypy
Open

Introduce mypy#388
wkeeling wants to merge 5 commits into
masterfrom
mypy

Add mypy configuration, typing fixes

72d562f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs