linguini1 opened a new pull request, #14372: URL: https://github.com/apache/nuttx/pull/14372
## Summary This change to the Documentation workflow adds the `paths` filter so that the GitHub workflow is only run whenever a path matching `Documentation/**` is modified. ## Impact This will reduce the number of unnecessary Documentation workflow runs being performed for PRs that do not modify the documentation and thus do not require a rebuild. Since building the Documentation takes about 13 minutes on average, this should considerably reduce the amount of time the NuttX repository is using in GitHub workflows, bringing us closer to being within the [limit the Apache Foundation has set for workflow usage](https://infra.apache.org/github-actions-policy.html). ## Testing Since this change only modifies the GitHub workflow, testing is performed by verifying that this PR (containing the updated workflow) will not trigger the Documentation workflow since nothing under the `Documentation/` sub-directory was modified. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
