Occasionally, we have Github PRs with the latest commit not being built by CircleCI at all. The checks just sit there in “waiting” status. As workarounds we’ve used force-pushing amended commits, pushing empty commits or closing/reopening PRs. None of those are very pretty.
Is there a way to tell CircleCI to please re-check a PR for required builds? Or a way to just tell it to rebuild a PR or a commit? An API call is fine, we can just have a bot watch the conversation and trigger the API call as requested by our members (or even automatically, if something just sits around for a day without being built).