diff --git a/ci-scripts/report-size.sh b/ci-scripts/report-size.sh index 77533d7..64874f6 100755 --- a/ci-scripts/report-size.sh +++ b/ci-scripts/report-size.sh @@ -25,19 +25,22 @@ if [ "$CI" = "true" ]; then echo "Retrieved index: $pr_number" echo "Expected PR URL: $GITHUB_SERVER_URL/$GITHUB_REPOSITORY/pulls/$pr_number" - echo "Logging in to $GITHUB_SERVER_URL with default token" - tea login add --url "$GITHUB_SERVER_URL" --token "$GITHUB_TOKEN" - tea comment "$pr_number" "$( + comment=$( cat <<-EOF ### NixOS Configurations sizes - + TODO - + ### Package sizes - + $(package_size_table) EOF - )" + ) + echo "Posting comment: $comment" + curl -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')" else package_size_table fi