Github slow response makes crashes #5
Comments
rrahir
changed the title
rrahir
changed the title
rrahir
added a commit
that referenced
this issue
Nov 28, 2022
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Nov 28, 2022
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Nov 28, 2022
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Nov 28, 2022
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Jan 23, 2023
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Feb 8, 2023
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Feb 28, 2023
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
rrahir
added a commit
that referenced
this issue
Feb 28, 2023
The call to get a newly created PR url would sometimes fail because it was called to fast after the pr creation. solves #5
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
in
make_PR, we sometimes have the "pr view" step fail as github replies that no PR exists, even though we just created it.Add a retry step.
The text was updated successfully, but these errors were encountered: