Skip to content

[skip changelog] Run CI workflows that are useful to contributors on pushes to any branch#887

Merged
per1234 merged 2 commits intoarduino:masterfrom
per1234:ci-in-branches
Aug 3, 2020

Commits

Commits on Aug 3, 2020