diff --git a/tools/bin/mbedtls-kick-ci b/tools/bin/mbedtls-kick-ci index 283e3863..9656afbb 100755 --- a/tools/bin/mbedtls-kick-ci +++ b/tools/bin/mbedtls-kick-ci @@ -106,11 +106,15 @@ case "$PR" in HEAD_JOB="mbed-tls-framework-multibranch" # No merge job in the framework ;; - m*|[0-9]*) + m*) PR="${PR#?}" HEAD_JOB="mbed-tls-pr-head" MERGE_JOB="mbed-tls-pr-merge" ;; + [0-9]*) + HEAD_JOB="mbed-tls-pr-head" + MERGE_JOB="mbed-tls-pr-merge" + ;; esac case "$PR" in *[!0-9]*) echo >&2 "$0: $PR: pull request must be a number"; exit 2;;