Wait for marketplace checks before merge - #5
Conversation
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 1a1472bd15
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| gh pr checks "${{ steps.sync_pr.outputs.pr_number }}" \ | ||
| --repo "$MARKETPLACE_REPO" \ | ||
| --watch \ | ||
| --interval 10 |
There was a problem hiding this comment.
Handle empty-check race before watching PR checks
This step runs immediately after creating/updating the marketplace PR, but gh pr checks --watch does not wait for checks to be created if none exist yet; in gh it first fetches checks and returns an error (no checks reported on the '<branch>' branch) when the initial list is empty, so watch mode never starts. That creates an intermittent failure window right after PR creation when GitHub hasn’t registered check runs yet, causing the release-sync job to fail before gh pr merge can run.
Useful? React with 👍 / 👎.
Summary
Testing