Skip to content

maint(ios): use versioned filenames for PR artifacts#14704

Merged
mcdurdin merged 2 commits intomasterfrom
maint/ios/10521-use-versioned-filenames-for-pr-artifacts
Sep 10, 2025
Merged

maint(ios): use versioned filenames for PR artifacts#14704
mcdurdin merged 2 commits intomasterfrom
maint/ios/10521-use-versioned-filenames-for-pr-artifacts

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

@mcdurdin mcdurdin commented Sep 8, 2025

Note: corresponding change for test bot is on its way..

image

Relates-to: #10521
Test-bot: skip
Build-bot: skip release:ios

Relates-to: #10521
Test-bot: skip
Build-bot: skip release:ios
@keymanapp-test-bot
Copy link
Copy Markdown

keymanapp-test-bot bot commented Sep 8, 2025

@github-actions github-actions bot added the ios/ label Sep 8, 2025
@keymanapp-test-bot keymanapp-test-bot bot added this to the A19S11 milestone Sep 8, 2025
@github-actions github-actions bot added the maint Maintenance work -- continuous integration, build scripts, infrastructure label Sep 8, 2025
@mcdurdin mcdurdin marked this pull request as ready for review September 8, 2025 13:24
Base automatically changed from maint/android/10521-use-versioned-filenames-for-pr-artifacts to master September 10, 2025 09:15
@mcdurdin mcdurdin merged commit 8a2adf5 into master Sep 10, 2025
7 checks passed
@mcdurdin mcdurdin deleted the maint/ios/10521-use-versioned-filenames-for-pr-artifacts branch September 10, 2025 09:15
@github-project-automation github-project-automation bot moved this from Todo to Done in Keyman Sep 10, 2025
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 19.0.116-alpha

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ios/ maint Maintenance work -- continuous integration, build scripts, infrastructure resources/

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants