guberti opened a new pull request, #11043:
URL: https://github.com/apache/tvm/pull/11043

   This pull request contains three small changes:
   - Fix bug allowing `microTVM` to be used with Arduino version `v0.20` and 
above (see changes to `_parse_connected_boards`) and adds relevant unit tests.
   - Only perform version check when calling `build` or `flash` (things that 
actually require `arduino-cli`), and adds relevant unit tests.
   - Only raise a warning if the `arduino-cli` version present is **below** the 
min version (previously any version other than `v0.18` would cause an error).


-- 
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]

Reply via email to