xiaoxiang781216 commented on PR #7861: URL: https://github.com/apache/nuttx/pull/7861#issuecomment-1347874103
> I don't understand the bloaty change? The key change is clone bloaty into tools folder instead nuttx/tools/ci folder. >Why did we need to keep the source repo around instead of just deleting it. It's fine to remove source repo. I remove the deletion just keep consistent with nuttx-tools because we don't remove it after finish build: https://github.com/apache/nuttx/pull/7861/files#diff-5739bde660f59b7d7d70b27e67bbf8062932aa21821da1883c7733b738575c88R240-R253 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
