wip: report package sizes

Added as a comment to the current pull request

ci-scripts/report-size.sh

@@ -38,7 +38,7 @@ if [ "$CI" = "true" ]; then
 	)
 	echo 'Posting comment:'
 	echo "$comment"
-	curl -o - -v -X 'POST' \
+	curl -o - -I -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')"