Use sketch compilation CI actions from their new dedicated repositories#207

Merged

aentinger merged 3 commits intoarduino-libraries:masterfrom

per1234:update-actions

Nov 27, 2020

Commits on Nov 16, 2020

Use sketch compilation CI actions from their new dedicated repositories
per1234
committed
Specify sketches report input values for sketch compilation CI actions
per1234
committed
Use modern API of `arduino/compile-sketches` CI action
per1234
committed