Skip to content

[MISC] Switch to ty for typechecking#71

Merged
dragomirp merged 3 commits into16/edgefrom
ty-checker
Feb 3, 2026
Merged

[MISC] Switch to ty for typechecking#71
dragomirp merged 3 commits into16/edgefrom
ty-checker

Conversation

@dragomirp
Copy link
Contributor

@dragomirp dragomirp commented Feb 2, 2026

Switch type checker to ty from pyright.

Checklist

  • I have added or updated any relevant documentation.
  • I have cleaned any remaining cloud resources from my accounts.

@codecov
Copy link

codecov bot commented Feb 2, 2026

Codecov Report

❌ Patch coverage is 41.66667% with 7 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.89%. Comparing base (9429b74) to head (58e6eb8).
⚠️ Report is 1 commits behind head on 16/edge.

Files with missing lines Patch % Lines
single_kernel_postgresql/utils/postgresql.py 41.66% 7 Missing ⚠️

❌ Your project status has failed because the head coverage (50.89%) is below the target coverage (70.00%). You can increase the head coverage or adjust the target coverage.

Additional details and impacted files
@@             Coverage Diff             @@
##           16/edge      #71      +/-   ##
===========================================
+ Coverage    50.78%   50.89%   +0.11%     
===========================================
  Files            4        4              
  Lines          892      894       +2     
  Branches       105      104       -1     
===========================================
+ Hits           453      455       +2     
- Misses         419      420       +1     
+ Partials        20       19       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dragomirp dragomirp marked this pull request as ready for review February 2, 2026 11:43
@dragomirp dragomirp requested review from a team, carlcsaposs-canonical, juju-charm-bot, marceloneppel and taurus-forever and removed request for a team February 2, 2026 11:44
Copy link
Member

@marceloneppel marceloneppel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! I hope ty doesn't break anything until its 1.0.0 release.

@dragomirp dragomirp merged commit ead4426 into 16/edge Feb 3, 2026
6 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants