erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-09-28 18:47:41 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

maint(ios): add todo on --pr-number

Browse source 
Build-bot: skip
This commit is contained in:
Marc Durdin 2025-08-10 05:03:01 +02:00
parent d413922465
commit 75f0d657bb
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
resources/teamcity/ios/keyman-ios-test.sh
View file

@ -21,6 +21,13 @@ THIS_SCRIPT="$(readlink -f "${BASH_SOURCE[0]}")"
################################ Main script ################################
# TODO: remove unused `--pr-number` option. Unfortunately, the mechanism we
# designed to skip this, `--builder-ignore-unknown-options`, does not work for
# options with values. We need another one, for example, something like
# `--builder-ignore-unknown-value-options=pr-number[,...]`, so for now I will
# leave it alone. The option ultimately needs to be removed from the TC build
# configuration also. (Unused as of #14466)
builder_describe \
"Build KeymanEngine and Keyman for iOS" \
"all run all actions" \