Repository navigation

Update type checking - #427

Merged

hugovk merged 4 commits into

python:mainfrom

hugovk:requests-inline-types

Sep 1, 2026

Commits on Aug 3, 2026
- Replace types-requests now Requests is typed
  hugovk
  committed
  935555a
- Add colour to GitHub Actions logs for readability
  hugovk
  committed
  af3ca5b
- Fix some type checking
  hugovk
  committed
  149e57a
Commits on Sep 1, 2026
- Merge remote-tracking branch 'origin/main' into requests-inline-types
  hugovk
  committed
  ab214e4