Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

do not replace old docs if rebuild failed #2718

Merged

Conversation

syphar
Copy link
Member

@syphar syphar commented Jan 10, 2025

Resolves #2675

In case of pre-build errors we already are just returning from the method via ?,
so I thought we could just do the same in this case, after moving finish_build above the finish_release call I want to skip.

@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Jan 10, 2025
@syphar syphar changed the title WIP: Failed rebuilds dont break docs do not replace old docs if rebuild failed Jan 10, 2025
@syphar syphar force-pushed the failed-rebuilds-dont-break-docs branch from 0d71181 to 73b8aab Compare January 10, 2025 16:41
@syphar syphar marked this pull request as ready for review January 10, 2025 16:41
@syphar syphar requested a review from a team as a code owner January 10, 2025 16:41
@syphar syphar requested a review from GuillaumeGomez January 11, 2025 04:05
@syphar syphar self-assigned this Jan 12, 2025
@GuillaumeGomez GuillaumeGomez enabled auto-merge (rebase) January 12, 2025 19:03
@GuillaumeGomez GuillaumeGomez merged commit 13d4cce into rust-lang:master Jan 12, 2025
13 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Jan 12, 2025
@syphar syphar deleted the failed-rebuilds-dont-break-docs branch January 13, 2025 05:40
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Jan 13, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

do not replace old docs if rebuild failed
2 participants