Expand compilation workflow's paths filter to cover more irrelevant files#41
Merged
per1234 merged 1 commit intoarduino:mainfrom Aug 2, 2021
per1234:paths-filter
Merged
Expand compilation workflow's paths filter to cover more irrelevant files#41per1234 merged 1 commit intoarduino:mainfrom per1234:paths-filter
per1234 merged 1 commit intoarduino:mainfrom
per1234:paths-filter