Skip to content

Fix dequeue and recover orphaned PRs on startup#23

Merged
fila-ci[bot] merged 1 commit intomainfrom
fix-orphaned-testing
Mar 8, 2026
Merged

Fix dequeue and recover orphaned PRs on startup#23
fila-ci[bot] merged 1 commit intomainfrom
fix-orphaned-testing

Conversation

@arferreira
Copy link
Contributor

Two bugs:

  1. dequeue() only cancelled PRs with status "queued". If a PR was in "testing" or "batched" and the GitHub PR got closed, dequeue silently did nothing — the PR stayed stuck forever. Fixed by matching any active status (queued, testing, batched).

  2. If the runner gets killed mid-merge (e.g. during a redeploy), PRs stuck in "testing" or "batched" are never re-processed because the runner only looks at "queued". Added recover_orphaned() that runs on startup and requeues them.

@arferreira
Copy link
Contributor Author

@fila ship

@fila-ci
Copy link
Contributor

fila-ci bot commented Mar 8, 2026

Commit e50161d has been added to the merge queue by @arferreira.

View queue

@arferreira
Copy link
Contributor Author

@fila cancel

@fila-ci
Copy link
Contributor

fila-ci bot commented Mar 8, 2026

PR #23 has been removed from the merge queue by @arferreira.

@fila-ci
Copy link
Contributor

fila-ci bot commented Mar 8, 2026

#23 merged into main (a310e5e)

@fila-ci fila-ci bot closed this Mar 8, 2026
@fila-ci fila-ci bot merged commit a310e5e into main Mar 8, 2026
1 check passed
@fila-ci fila-ci bot deleted the fix-orphaned-testing branch March 8, 2026 18:32
@arferreira
Copy link
Contributor Author

@fila ship

@fila-ci
Copy link
Contributor

fila-ci bot commented Mar 8, 2026

Commit e50161d has been added to the merge queue by @arferreira.

View queue

@fila-ci
Copy link
Contributor

fila-ci bot commented Mar 8, 2026

#23 is already merged into main.

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