Repository navigation

Do not push partial types to the binder - #20202

Merged

JukkaL merged 2 commits into

python:masterfrom

sterliakov:bugfix/gh-19996-partial-in-binder

Nov 18, 2025

Merged

Do not push partial types to the binder#20202
JukkaL merged 2 commits into
python:masterfrom
sterliakov:bugfix/gh-19996-partial-in-binder

Commits on Nov 7, 2025
- Do not push partial types to binder
  sterliakov
  committed
  57a2586
- Remove unrelated attempt
  sterliakov
  committed
  f8ad206