Skip to content

Update to work with ponyc 0.70.0 - #166

Merged
SeanTAllen merged 1 commit into
mainfrom
update-to-ponyc-0.70.0
Sep 4, 2026
Merged

Update to work with ponyc 0.70.0#166
SeanTAllen merged 1 commit into
mainfrom
update-to-ponyc-0.70.0

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

Updated to use renamed PonyCheck generator range parameters (from/to instead of min/max).

@SeanTAllen SeanTAllen added changelog - changed Automatically add "Changed" CHANGELOG entry on merge do not merge This PR should not be merged at this time labels Sep 3, 2026
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Sep 3, 2026
@SeanTAllen
SeanTAllen force-pushed the update-to-ponyc-0.70.0 branch from 23b25a3 to 65c64fe Compare September 3, 2026 21:39
@SeanTAllen
SeanTAllen force-pushed the update-to-ponyc-0.70.0 branch 2 times, most recently from bb11465 to 59720c6 Compare September 4, 2026 00:01
@SeanTAllen
SeanTAllen force-pushed the update-to-ponyc-0.70.0 branch from 59720c6 to 85d5008 Compare September 4, 2026 00:37
@SeanTAllen
SeanTAllen merged commit 7596c17 into main Sep 4, 2026
13 checks passed
@SeanTAllen
SeanTAllen deleted the update-to-ponyc-0.70.0 branch September 4, 2026 00:39
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Sep 4, 2026
github-actions Bot pushed a commit that referenced this pull request Sep 4, 2026
github-actions Bot pushed a commit that referenced this pull request Sep 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog - changed Automatically add "Changed" CHANGELOG entry on merge do not merge This PR should not be merged at this time

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants