This change uses the [paths-ignore][01] property for the GitHub workflow pull requests trigger to skip the lengthy build process for PRs that only modify documentation or VS Code configuration, neither of which affect the code-building.
PR Context
This should enable faster feedback cycles for pull requests that don't affect the build, as the build workflow can take 15-20m each time.
PR Summary
This change uses the [
paths-ignore][01] property for the GitHub workflow pull requests trigger to skip the lengthy build process for PRs that only modify documentation or VS Code configuration, neither of which affect the code-building.PR Context
This should enable faster feedback cycles for pull requests that don't affect the build, as the build workflow can take 15-20m each time.