[Zeroto521]

Two other cdef readonly fields still had bare class-level annotations in scip.pyi

    class LP:
        name: str          # assignable per stub, raises at runtime

    class Term:
        vartuple: tuple[Variable, ...]   # same problem

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 58.10%. Comparing base (9547994) to head (db4ddad).
⚠️ Report is 27 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1276      +/-   ##
==========================================
+ Coverage   57.91%   58.10%   +0.19%     
==========================================
  Files          26       27       +1     
  Lines        5807     6025     +218     
==========================================
+ Hits         3363     3501     +138     
- Misses       2444     2524      +80     

☔ View full report in Codecov by Harness.
📢 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.

[Joao-Dionisio]

Hey @Zeroto521 any other of these changes that you want to take care of before merging?

[Zeroto521]

@Joao-Dionisio No more changes. This is a simple PR. All other readonly properties now use @property. LP.name and Term.vartuple are the only ones left.