Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Aug 2, 2021

The paths filter is used to make GitHub Actions workflows more efficient and contributor friendly by preventing pointless
workflow runs from happening when only irrelevant files were modified.

…iles

The paths filter is used to make GitHub Actions workflows more efficient and contributor friendly by preventing pointless
workflow runs from happening when only irrelevant files were modified.
@per1234 per1234 added the type: enhancement Proposed improvement label Aug 2, 2021
@per1234 per1234 merged commit 6e29169 into arduino:main Aug 2, 2021
@per1234 per1234 deleted the paths-filter branch August 2, 2021 19:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Proposed improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant