Skip to content
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

Replace Jenkins builds on any branch prefixed with docs/ with github action #3689

Merged
merged 2 commits into from
Mar 27, 2024

Conversation

tobybellwood
Copy link
Member

@tobybellwood tobybellwood commented Mar 26, 2024

Currently, Jenkins builds and tests every PR generated. For a simple docs-only commit, this is not only an unnecessary use of resources, it adds time to the ability to propagate updates to the website.

This PR adds a check step into the Jenkins pipeline to check the source branch of a PR (and additionally any branch push, although docs/ is skipped in config already), and if it sees the docs/ prefix, it sets a variable that is then used to skip all remaining stages.

Additionally, it includes a github action that does a strict build on the docs, intended to fail on any error.

@tobybellwood tobybellwood changed the title chore: ABORT builds on docs/ commit skip Jenkins builds on any branch prefixed with docs/ Mar 26, 2024
@tobybellwood tobybellwood marked this pull request as ready for review March 27, 2024 00:43
@tobybellwood tobybellwood changed the title skip Jenkins builds on any branch prefixed with docs/ Replace Jenkins builds on any branch prefixed with docs/ with github action Mar 27, 2024
@tobybellwood tobybellwood merged commit dea9bf2 into main Mar 27, 2024
3 checks passed
@tobybellwood tobybellwood deleted the docs/jenkinsfile branch March 27, 2024 01:13
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.

1 participant