✅: (based)pyright by nstarman · Pull Request #53 · data-apis/array-api-typing · GitHub
Skip to content

✅: (based)pyright - #53

Open
nstarman wants to merge 2 commits into
data-apis:mainfrom
nstarman:test-pyright
Open

nstarman wants to merge 2 commits into
data-apis:mainfrom
nstarman:test-pyright

Commits

  1. Commits on Aug 20, 2025

    • ✅: pyright

      committed
  2. Commits on Aug 22, 2025