Skip to content

Update symbols/numbers.pyi#522

Open
fastbodin wants to merge 1 commit intodwavesystems:mainfrom
fastbodin:update_numbers_pyi
Open

Update symbols/numbers.pyi#522
fastbodin wants to merge 1 commit intodwavesystems:mainfrom
fastbodin:update_numbers_pyi

Conversation

@fastbodin
Copy link
Copy Markdown
Contributor

To include all public methods of BinaryVariable and IntegerVariable.

@arcondello
Copy link
Copy Markdown
Member

CI errors unrelated, looking into it...

@fastbodin
Copy link
Copy Markdown
Contributor Author

Unlikely the issue but I just realized I should have included the return type. Fixing now.

@arcondello
Copy link
Copy Markdown
Member

arcondello commented Apr 24, 2026

Seems like a CircleCI bug. Will let it sit for a bit before investigating further in case it clear itself.

From the broken builds:
image

from their website:
image

@arcondello
Copy link
Copy Markdown
Member

Unlikely the issue but I just realized I should have included the return type. Fixing now.

Also the def __init__(...).

Also also, #33 is relevant to this PR so linking it here for future reference.

@fastbodin fastbodin force-pushed the update_numbers_pyi branch from bffaa8f to 17bad8d Compare April 24, 2026 16:57
@arcondello arcondello added the bug Something isn't working label Apr 24, 2026
@arcondello arcondello self-requested a review April 24, 2026 17:28
To include all public methods of `BinaryVariable` and `IntegerVariable`.
@fastbodin fastbodin force-pushed the update_numbers_pyi branch from 17bad8d to c999922 Compare April 24, 2026 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants