Skip to content

Expand compilation workflow's paths filter to cover more irrelevant files#41

Merged
per1234 merged 1 commit intoarduino:mainfrom
per1234:paths-filter
Aug 2, 2021
Merged

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

Commits

Commits on Aug 2, 2021