diff --git a/ci-scripts/report-size.sh b/ci-scripts/report-size.sh index 0c117f8..4f5ae89 100755 --- a/ci-scripts/report-size.sh +++ b/ci-scripts/report-size.sh @@ -38,7 +38,7 @@ if [ "$CI" = "true" ]; then ) echo 'Posting comment:' echo "$comment" - curl -o - -I -X 'POST' \ + curl -o - -v -X 'POST' \ "$GITHUB_API_URL/repos/$GITHUB_REPOSITORY/issues/$pr_number/comments?token=$GITHUB_TOKEN" \ -H 'accept: application/json' \ -d "$(echo '{}' | jq --arg comment "$comment" '.body=$comment')"