Skip to content

maint(resources): use VERSION variable in increment-version.sh 🏠#14779

Merged
mcdurdin merged 1 commit intostable-18.0from
maint/resources/14778-use-VERSION-variable-for-stable-18.0
Sep 19, 2025
Merged

maint(resources): use VERSION variable in increment-version.sh 🏠#14779
mcdurdin merged 1 commit intostable-18.0from
maint/resources/14778-use-VERSION-variable-for-stable-18.0

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

The original $KEYMAN_VERSION variable was cherry-picked from 19.0, but we should have been using $VERSION for the 18.0 code.

Note: I will manually generate the PR to update HISTORY.md for 18.0.241.

Fixes: #14778
Follows: #14614
Test-bot: skip
Build-bot: skip

The original `$KEYMAN_VERSION` variable was cherry-picked from 19.0, but
we should have been using `$VERSION` for the 18.0 code.

Fixes: #14778
Follows: #14614
Test-bot: skip
Build-bot: skip
@keymanapp-test-bot keymanapp-test-bot bot changed the title maint(resources): use VERSION variable in increment-version.sh maint(resources): use VERSION variable in increment-version.sh 🏠 Sep 18, 2025
@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S12 milestone Sep 18, 2025
@github-actions github-actions bot added the common/resources/ Build infrastructure label Sep 18, 2025
mcdurdin added a commit that referenced this pull request Sep 18, 2025
Test-bot: skip
Build-bot: skip
Relates-to: #14779
@mcdurdin mcdurdin merged commit 9499252 into stable-18.0 Sep 19, 2025
29 checks passed
@mcdurdin mcdurdin deleted the maint/resources/14778-use-VERSION-variable-for-stable-18.0 branch September 19, 2025 03:29
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Sep 19, 2025
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 18.0.242

cvosoft pushed a commit to cvosoft/keyman that referenced this pull request Oct 23, 2025
Test-bot: skip
Build-bot: skip
Relates-to: keymanapp#14779
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

maint(resources): trigger stable build failed with error for 18.0.241 release

3 participants