-
Notifications
You must be signed in to change notification settings - Fork 267
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ignore docs for CI runs #694
Conversation
This will only run the CI if a contributor has edited - the `src/` directory - the `resources/` directory - the manifest files This prevents unnecessary workflow runs. For example, on documentation changes.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Great idea @spenserblack 🚀
I left a minor comment.
.github/workflows/ci.yml
Outdated
paths: | ||
- 'src/**' | ||
- 'resources/**' | ||
- 'Cargo.*' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
paths: | |
- 'src/**' | |
- 'resources/**' | |
- 'Cargo.*' | |
paths-ignore: | |
- "docs/**" | |
- "**.md" |
It may be safer that way.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah, I was debating between the two, but you're probably right. But there are a lot of other paths to ignore: assets, config files, etc. But this should prevent the majority of unnecessary runs, so applying.
Co-authored-by: Ossama Hjaji <ossama-hjaji@live.fr>
|
This will only run the CI if a contributor has edited
src/
directoryresources/
directoryThis prevents unnecessary workflow runs. For example, on documentation
changes.
For example, #693 didn't need to be in a "workflow run pending" status since none of the changes are tested by the workflow.