Repository navigation

Fix: develop CI red (TypedPython CI, Kotlin-name stubs) - #331

Merged

b-re-w merged 1 commit into

feat/ci-red-fixes

Oct 25, 2026

Merged

Fix: develop CI red (TypedPython CI, Kotlin-name stubs)#331
b-re-w merged 1 commit into
developfrom
feat/ci-red-fixes

Commits on Oct 25, 2026
- Fix: develop CI green again: Linux -Werror on tp_np_f64, companion stub collisions, inherited overload sets in stubs
  b-re-w
  committed
  d64d909