[Ops] Fix scoped type check (#167229)

This commit is contained in:
Thomas Watson 2023-09-26 12:38:23 +02:00 committed by GitHub
parent a8de9ebfdf
commit 192bd5af45
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

4
.buildkite/scripts/steps/check_types_commits.sh Normal file → Executable file
View file

@ -5,8 +5,8 @@ set -euo pipefail
if [[ "${CI-}" == "true" ]]; then
.buildkite/scripts/bootstrap.sh
sha1="${GITHUB_PR_TARGET_BRANCH-}"
sha1=$(git merge-base $GITHUB_PR_TARGET_BRANCH $GITHUB_PR_TRIGGERED_SHA)
sha2="${GITHUB_PR_TRIGGERED_SHA-}"
else
# Script take between 0 and 2 arguments representing two commit SHA's: