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

Build every 1.5 hours #2928

Merged
merged 1 commit into from
Feb 8, 2024
Merged

Build every 1.5 hours #2928

merged 1 commit into from
Feb 8, 2024

Conversation

nkammah
Copy link
Contributor

@nkammah nkammah commented Feb 8, 2024

No description provided.

@nkammah nkammah requested a review from a team as a code owner February 8, 2024 14:57
Copy link

github-actions bot commented Feb 8, 2024

A documentation preview will be available soon.

Request a new doc build by commenting
  • Rebuild this PR: run docs-build
  • Rebuild this PR and all Elastic docs: run docs-build rebuild

run docs-build is much faster than run docs-build rebuild. A rebuild should only be needed in rare situations.

If your PR continues to fail for an unknown reason, the doc build pipeline may be broken. Elastic employees can check the pipeline status here.

@nkammah nkammah merged commit 1e92dcb into master Feb 8, 2024
4 of 5 checks passed
@nkammah nkammah deleted the build-every-90-min branch February 8, 2024 15:48
bmorelli25 added a commit to bmorelli25/docs that referenced this pull request Feb 8, 2024
bmorelli25 added a commit that referenced this pull request Feb 8, 2024
* Revert "Build every 1.5 hours (#2928)"

This reverts commit 1e92dcb.

* Revert "Build docs hourly - every 30 min is running into race conditions (#2927)"

This reverts commit 68a376f.

* run every 30 mins, no rebuild, concurrency 1
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