Repository navigation

[Python] Type annotation fixes - #4330

Merged

dbrattli merged 3 commits into

mainfrom

python-typing-fixes-16

Jan 8, 2026

Merged

[Python] Type annotation fixes#4330
dbrattli merged 3 commits into
mainfrom
python-typing-fixes-16

Commits on Jan 7, 2026
- [Python] Type annotation fixes
  dbrattli
  committed
  9999753
Commits on Jan 8, 2026
- Fix code scanning warning
  dbrattli
  committed
  faf74a2
- Fix annotation for option inside invariant containers
  dbrattli
  committed
  c949b04