Closed alex-mckenna closed 2 years ago
I'm slightly unsure if this will actually go off in practice. This info is given when the build status changes to pending with a non-null
target_url
, but I have no concrete intuition for when this would occur in practice. I'm hoping when the status check starts it will change the state fromBuildPending Nothing
toBuildPending (Just url)
.
For this, I think GitHub sends a BuildPending hook again with the build URL when it gets one. But I think you've already figured this out because I saw your changes on send-webhook which deal with this.
Btw, I reverted the broken merge of yesterday. So feel free to rebase and merge this into master now if you like.
I saw this created a few conflicts with your files (as your change was already based on top of mine). I'm sorry about that :pensive:. I reviewed the conflicts though, and they seem to be not major. :-)
Okay, the rebase was mostly mechanical apart from the handleBuildStatusChanged
which was a little different after the revert for some reason. I changed the PR to be in the style of the reverted version so give it a once over in case anything dumb crept in
@OpsBotPrime merge on friday
Pull request approved for merge by @alex-mckenna, rebasing now.
Rebased as b4994cabf047f6cdedc1433018f46a2d54d0391b, waiting for CI …
This PR allows
hoff
to report thetarget_url
of pending builds, giving users an indication of which jobhoff
is waiting for. This is shown both as a comment on the PR, and an additional link in the headline for pull requests where a CI URL is available (i.e. pending and failed jobs, since we don't currently keep the URL of succeeded jobs).Screenshots:
I'm slightly unsure if this will actually go off in practice. This info is given when the build status changes to pending with a non-null
target_url
, but I have no concrete intuition for when this would occur in practice. I'm hoping when the status check starts it will change the state fromBuildPending Nothing
toBuildPending (Just url)
.Closes #26 Closes #109