Skip to content

mark in-progress builds as canceled when we restart#3250

Merged
GuillaumeGomez merged 1 commit intorust-lang:mainfrom
syphar:builder-restart
Mar 15, 2026
Merged

mark in-progress builds as canceled when we restart#3250
GuillaumeGomez merged 1 commit intorust-lang:mainfrom
syphar:builder-restart

Conversation

@syphar
Copy link
Member

@syphar syphar commented Mar 15, 2026

This solves an annoyance that existed since I added #2533.

When I want to update the docs.rs binaries, and would just run update-docs.rs, then we have leftover in-progress records in the builds table. Our process would just exit. The build itself was fine, since postgres would just unlock the record, and another builder (or this one, restarted) would pick it up again.

But: the in-progress record would stay in the database.

This is a small workaround for this. The queue guarantees that these only can be one build for each release, so we can simply mark existing in-progress build records as error.

This doesn't solve the issue that we'll still have the old docker run process running in the background, but that's for a separate PR.

Note: this issue would have become a bigger one with more automatic deployments for the new infra.

@syphar syphar self-assigned this Mar 15, 2026
@syphar syphar requested a review from a team as a code owner March 15, 2026 13:45
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Mar 15, 2026
@GuillaumeGomez
Copy link
Member

Thanks!

@GuillaumeGomez GuillaumeGomez merged commit 3414a6a into rust-lang:main Mar 15, 2026
14 checks passed
@GuillaumeGomez GuillaumeGomez deleted the builder-restart branch March 15, 2026 14:05
@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 Mar 15, 2026
@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 Mar 15, 2026
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