chore: use AWS OpenID Connect for S3 publish#2651

giacomocusinato merged 1 commit intomainarduino/arduino-ide:mainfrom

use-aws-oidcarduino/arduino-ide:use-aws-oidcCopy head branch name to clipboard