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

turn off scheduler for Deploy Docs workflow #12502

Merged
merged 1 commit into from Jan 10, 2023

Conversation

mojavelinux
Copy link
Contributor

This need is already filled by the push trigger. When a commit is pushed to a branch, the workflow automatically kicks off a partial build for that branch/version. A full build of the site occurs when a release is made or on demand. There's no reason to run this workflow otherwise.

@spring-projects-issues spring-projects-issues added the status: waiting-for-triage An issue we've not yet triaged label Jan 6, 2023
@rwinch
Copy link
Member

rwinch commented Jan 10, 2023

The only reason I can think of is for pushes to the UI, but that is a pretty small case and we tend to build right away vs waiting for a schedule. In any case, I think we probably need to switch to a versioned UI.

@rwinch rwinch removed the status: waiting-for-triage An issue we've not yet triaged label Jan 10, 2023
@rwinch rwinch self-assigned this Jan 10, 2023
@rwinch rwinch merged commit 786db6d into spring-projects:main Jan 10, 2023
@rwinch rwinch added in: docs An issue in Documentation or samples type: enhancement A general enhancement labels Jan 10, 2023
@mojavelinux mojavelinux deleted the no-scheduled-deploy-docs branch January 11, 2023 08:10
@mojavelinux
Copy link
Contributor Author

mojavelinux commented Jan 11, 2023

The only reason I can think of is for pushes to the UI

And you could still have that. But this particular scheduler wouldn't help with that anyway. It was only scheduling single version builds, which would not have updated the UI across the site. It's reasonable to do a full build of the site weekly (which would require additional updates to this workflow file)...or to have a UI update trigger a full build.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
in: docs An issue in Documentation or samples type: enhancement A general enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants