Failed Pull Request Build on RTD shows as pending on GitHub

[jakirkham]

Currently when a pull request build fails on RTD. It appears the GitHub status for that pull request is not updated as having failed, but remains marked as pending.

Details

• GitHub PR: Install libnuma on RTD rapidsai/ucx-py#734
• Read the Docs project URL: https://readthedocs.org/projects/ucx-py/
• Build URL (if applicable): https://readthedocs.org/projects/ucx-py/builds/13749560/
• Read the Docs username (if applicable):

Expected Result

Once the RTD pull request build fails, it would be good to have the GitHub pull request status also marked as having failed.

Actual Result

Here's a screenshot from RTD for the pull request. Note the build has failed

Here's the screenshot of the GitHub pull request's CI statuses. Note RTD is shown as still pending

[jakirkham]

(apologies if this was in another issue somewhere. was unable to find it after searching. also feel free to move if this is not the right repo for this issue)

[humitos]

This may be a temporary failure when contacting GitHub. We could probably re-try the task up to 3 times if it fails at

readthedocs.org/readthedocs/projects/tasks.py

Line 1880 in f32ba4d

def send_build_status(build_pk, commit, status, link_to_build=False):

(it returns False)

[humitos]

This seems to be a temporal issue. I found in our logs that we are reporting the status correctly to github:

Jun 28 16:22:59 INFO Build status report sent correctly using an user account. project=ucx-py build=14115644 status=pending commit=f771d837eb7f6e361205a18c2cbcf30df6f42d15 user=quasiben

Jun 28 16:26:40 INFO Build status report sent correctly using an user account. project=ucx-py build=14115644 status=success commit=f771d837eb7f6e361205a18c2cbcf30df6f42d15 user=quasiben 

I opened a PR that retries up to 3 times if it fails for any reason.