wip: report package sizes

Added as a comment to the current pull request

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"