diff --git a/ci-scripts/report-size.sh b/ci-scripts/report-size.sh index 889cd84..0c9d038 100755 --- a/ci-scripts/report-size.sh +++ b/ci-scripts/report-size.sh @@ -72,10 +72,10 @@ if [ "${CI-false}" = "true" ]; then pr_number=$(curl -X 'GET' \ "$GITHUB_API_URL/repos/$GITHUB_REPOSITORY/pulls?state=open&sort=recentupdate" \ -H 'accept: application/json' | - jq --arg head_ref "$GITHUB_HEAD_REF" '.[] | select(.head.ref == $head_ref) | .number') + jq --arg head_ref "$GITHUB_REF_NAME" '.[] | select(.head.ref == $head_ref) | .number') if [ -z "$pr_number" ]; then - echo "No PR created for this pull request" + echo "No PR created for this commit" exit 0 fi