[skip changelog] Run CI workflows that are useful to contributors on pushes to any branch#887
Merged
per1234 merged 2 commits intoarduino:masterfrom Aug 3, 2020
per1234:ci-in-branches
Merged
[skip changelog] Run CI workflows that are useful to contributors on pushes to any branch#887per1234 merged 2 commits intoarduino:masterfrom per1234:ci-in-branches
per1234 merged 2 commits intoarduino:masterfrom
per1234:ci-in-branches
