arduino / arduino-cli

Arduino command line tool
https://arduino.github.io/arduino-cli/latest/
GNU General Public License v3.0
4.24k stars 371 forks source link

[skip-changelog] fixup, use environment #2542

Closed umbynos closed 4 months ago

umbynos commented 4 months ago

Please check if the PR fulfills these requirements

See how to contribute

What kind of change does this PR introduce?

infra enhancement

What is the current behavior?

fixup for #2541

What is the new behavior?

The role is assumed correctly

Does this PR introduce a breaking change, and is titled accordingly?

Other information