guberti opened a new pull request, #11067: URL: https://github.com/apache/tvm/pull/11067
Previously, the Spresense SDK and `arduino-cli` had major bugs that required really nasty fixes in `base_box_provision.sh` (see https://github.com/sonydevworld/spresense/issues/200 and https://github.com/arduino/arduino-cli/pull/1312, respectively). Both of these have been fixed in the latest versions, though. This PR updates the `arduino-cli` version to `0.21.1`, and sets the Spresense version to a generic latest version (as we do this for all the other board URLs). These allow us to remove the ugly hacks from `base_box_provision.sh`. Note that this PR requires merging #11043. -- 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]
