Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Isl typing #937

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

Jump to bottom
Merged
merged 13 commits into from
Jun 13, 2025
Merged

Isl typing #937

merged 13 commits into from
Jun 13, 2025

Conversation

inducer
Copy link
Owner

@inducer inducer commented Jun 3, 2025 •
edited
Loading

Needs:

Closes #940.

@inducer inducer mentioned this pull request Jun 4, 2025
Open
@inducer inducer force-pushed the isl-typing branch 3 times, most recently from 0eb35e1 to 24eb052 Compare June 5, 2025 23:03
This was referenced Jun 7, 2025
Merged
Closed
@inducer inducer force-pushed the isl-typing branch 2 times, most recently from 8b160ad to 1588911 Compare June 12, 2025 21:23
@inducer inducer force-pushed the isl-typing branch 3 times, most recently from 31f30df to 754da0b Compare June 12, 2025 23:58
@inducer inducer marked this pull request as ready for review June 12, 2025 23:59
@inducer inducer merged commit 754bc15 into main Jun 13, 2025
33 of 34 checks passed
@inducer inducer deleted the isl-typing branch June 13, 2025 19:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

islpy 2025.2 - 2025.2.3 break doctests with current main

1 participant

@inducer