Skip to content

Conversation

@rekmarks
Copy link
Member

Recently, this action failed because we failed to get the release PR number via gh pr view, despite the fact that the PR was created successfully. I hypothesize that this happened because we didn't give GitHub enough time to create the PR and return its number to us. This PR ensures that we retry gh pr view on a 10-second interval for a total of 60 seconds, to give GitHub enough time to return the result we're looking for.

@rekmarks rekmarks requested a review from a team as a code owner June 28, 2022 18:57
@rekmarks rekmarks requested a review from mcmire June 28, 2022 18:59
Copy link
Contributor

@mcmire mcmire left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense! A couple of questions.

Copy link
Contributor

@mcmire mcmire left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks for doing this!

@rekmarks rekmarks merged commit 1a83c6d into main Jun 28, 2022
@rekmarks rekmarks deleted the retry-getting-pr-number branch June 28, 2022 20:20
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.

3 participants