cederom commented on PR #14268: URL: https://github.com/apache/nuttx/pull/14268#issuecomment-2411820570
Hmm this seems mix of https://github.com/apache/nuttx/pull/14267 and CI fix? Can we push CI fix here and exptool fix here https://github.com/apache/nuttx/pull/14267 ? -- 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]
