Update paths in the repository's CI workflows#1
Merged
aentinger merged 1 commit intoarduino:per1234/development-initial-importfrom Sep 10, 2020
per1234:update-ci
Merged
Update paths in the repository's CI workflows#1aentinger merged 1 commit intoarduino:per1234/development-initial-importfrom per1234:update-ci
aentinger merged 1 commit intoarduino:per1234/development-initial-importfrom
per1234:update-ci
