Github: checkout may encounter race condition

[LecrisUT]

Details

It seems that the RTD build job was scheduled before the git repo had the commit sha available to checkout. Probably an issue on Github side, but knowing the trackrecord of them fixing community issues, this should be probably handled on RTD side.

• Build URL (if applicable): https://app.readthedocs.org/projects/tmt/builds/31657754/

Confirmed the sha was valid from the log of the PR

A simple back-off retry should help in this case.

[humitos]

Thanks for the report. I suspect this is a GitHub issue as you guessed as well. We receive the webhook from GitHub and we trigger the build at that point. GitHub has been having some issues in the last days that we noticed, so I'm sure this is probably related to those issues as well.