Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
1,433 contributions in the last year
Created a pull request in arduino/arduino-cli that received 5 comments
Package is used in
arduino root package, let's be explicity about it not being legacy.
Created an issue in arduino/arduino-cli that received 2 comments
Bug Report This is for a bug afflicting the IDE, see arduino/Arduino#8936 for details. Let's double check how the same issue impacts the CLI and wh…