Commits

Branch selector

 main

User selector

bodograumann

Datepicker

All time

Commit History

Commits on Jul 21, 2023

• Disable merge_includes in config writers

  bodograumann

  committed
  41ecc6a

  Copy full SHA for 41ecc6a

Commits on Jul 20, 2023

• Apply straight-forward typing fixes

  bodograumann

  committed
  f01ee4f

  Copy full SHA for f01ee4f

• Add missing type annotation

  bodograumann

  committed
  3908e79

  Copy full SHA for 3908e79

• Run black and exclude submodule

  bodograumann

  committed
  6035db0

  Copy full SHA for 6035db0

• Allow explicit casting even when slightly redundant

  bodograumann

  committed
  c6dab19

  Copy full SHA for c6dab19

• Ignore remaining [unreachable] type errors

  bodograumann

  committed
  76394d4

  Copy full SHA for 76394d4

• Define supported version for mypy

  bodograumann

  committed
  b55cf65

  Copy full SHA for b55cf65

• Do not typecheck submodule

  Show description for 31ac93b
  bodograumann

  committed
  31ac93b

  Copy full SHA for 31ac93b