~emersion/hottub#6: 
Notify GitHub if build was restarted manually and was successfull/unsuccessful

Take the following use case:

  1. Due to some external error, e.g. network problem build triggered via hottub fails.
  2. If we restart the build manually on Sourcehut, it finishes successfully
  3. But the GitHub doesn't receive an updated status, that it was a successful build from the second try, not a failure anymore.
Status
REPORTED
Submitter
~xvilka
Assigned to
No-one
Submitted
1 year, 20 days ago
Updated
1 year, 20 days ago
Labels
No labels applied.

~emersion 1 year, 20 days ago

This is tricky. We don't know from the hottub side when a build is restarted.

Register here or Log in to comment, or comment via email.