[devops] If SYSTEM_PULLREQUEST_PULLREQUESTNUMBER is set, always use that as the PR number.#25517
Open
rolfbjarne wants to merge 1 commit into
Open
[devops] If SYSTEM_PULLREQUEST_PULLREQUESTNUMBER is set, always use that as the PR number.#25517rolfbjarne wants to merge 1 commit into
rolfbjarne wants to merge 1 commit into
