From 6ebf7b8d61b610642e67e2d3f7a011153ce073b8 Mon Sep 17 00:00:00 2001 From: David Horstmann Date: Wed, 26 Mar 2025 13:36:08 +0000 Subject: [PATCH] Fix bug in mbedtls-kick-ci When a number is supplied with no prefix, we are meant to assume Mbed TLS by default. This we do, but we also remove the first digit of the PR number inadvertantly. Fix this so that the PR number is interpreted correctly as referring to Mbed TLS and starts the correct CI. Signed-off-by: David Horstmann --- tools/bin/mbedtls-kick-ci | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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;;