Skip to content

Skip unrelated builds for documentation #1043

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

Merged
merged 1 commit into from
Jan 23, 2023

Conversation

alcaeus
Copy link
Member

@alcaeus alcaeus commented Jan 18, 2023

With this change, GitHub Actions will no longer run the coding-standards,static-analysis, and tests workflows when only documentation was changed. At the same time, the docs workflow is only run if files in the docs folder were changed.

I'll caution that this may cause issues with branch protection: since we require the tests workflow to be stable in order for a PR to be mergeable, this may prove to be unfeasible due to us having to override branch protection rules for such pull requests.

@alcaeus alcaeus self-assigned this Jan 18, 2023
@alcaeus alcaeus marked this pull request as ready for review January 18, 2023 07:39
Comment on lines +9 to +10
paths-ignore:
- "docs/**"
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I decided to only skip builds if we're only changing documentation: there are too many variables that affect the "should this require a test run" to be feasible (e.g. changes in orchestration, tests, config files, sources, tests, etc.). Listing all the directories in paths doesn't seem sensible, and skipping builds for pull requests/commits that ONLY change documentation should be sufficient for the time being.

@alcaeus alcaeus merged commit 843a422 into mongodb:v1.15 Jan 23, 2023
@alcaeus alcaeus deleted the skip-unrelated-builds branch January 23, 2023 07:32
@jmikola
Copy link
Member

jmikola commented Apr 11, 2023

@alcaeus: I noticed this was never merged up to master. I'm doing that now while merging #1053 up from v1.13.

jmikola pushed a commit to jmikola/mongo-php-library that referenced this pull request Apr 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants