New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21860: Improved type hinting #309

Merged

fulpm merged 2 commits into main from 21860-improve-typehints

Oct 16, 2024

Merged

21860: Improved type hinting #309

more type hints

GitHub Actions / Test Results succeeded Oct 15, 2024 in 0s

All 454 tests pass, 17 skipped in 1m 38s

471 tests 454 ✅ 1m 38s ⏱️
1 suites 17 💤
1 files 0 ❌

Results for commit d82e736.

View more details on GitHub Actions