Repository navigation

types: make everything type check - #540

Open

Gobot1234 wants to merge 8 commits into

danielgtaylor:masterfrom

Gobot1234:types

Commits on Oct 28, 2023
- Make everything typecheck?
  Gobot1234
  committed
  20bda76
- Add missing comma
  Gobot1234
  committed
  c55ba53
- Delete test.py
  Gobot1234
  authored
  d7f8731
- Fix more issues
  Gobot1234
  committed
  040dbf6
- Fix failing ci
  Gobot1234
  committed
  f0c696a
- Fix subscripts at runtime
  Gobot1234
  committed
  cf9d630
- Exclude tests from ci
  Gobot1234
  committed
  13b2c30
Commits on Mar 24, 2024
- Merge branch 'master' into types
  Gobot1234
  authored
  c84071e