Code

Add type annotations and mypy CI job#172

Code

Merged

speleo3 merged 1 commit intojensengroup:masterjensengroup/propka:masterfrom speleo3:mypyspeleo3/propka:mypyCopy head branch name to clipboardNov 3, 2023

+233-149

Commits

Commits on Oct 26, 2023

• Add type annotations and mypy CI job

  speleo3

  committed
  57d7c67