diff --git a/ci-scripts/report-size.sh b/ci-scripts/report-size.sh index 778cb55..c573541 100755 --- a/ci-scripts/report-size.sh +++ b/ci-scripts/report-size.sh @@ -21,6 +21,7 @@ if [ "$CI" = "true" ]; then echo "Logging in to $GITHUB_SERVER_URL with default token" tea login add --url "$GITHUB_SERVER_URL" --token "$GITHUB_TOKEN" echo "Retrieving PR index for $GITHUB_HEAD_REF" + tea pulls -f index,head -o simple pr_index=$(tea pulls -f index,head -o simple | grep "$GITHUB_HEAD_REF" | head -n1 | cut -d' ' -f 1) echo "Retrieved index: $pr_index" echo "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_index"