xiaoxiang781216 commented on PR #8646: URL: https://github.com/apache/nuttx/pull/8646#issuecomment-1446567232
> I noticed that we are running out of space again on the docker image build/push so I don't think the image got updated :(. I think I know how to free up some more space on the worker that I can try this evening. Otherwise I can manually push the updated image for the short term. Thanks @btashton , let's wait your try if the result isn't good please update the image manuaully to unblock this PR. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
