I’ve been reviewing pull request 22276, which is stalled on a Travis CI check. It was previously stalled on the same, and I closed and reopened the PR, but it’s stalled again. The check is required, and its details page on GitHub indicates there are five jobs, whose states are either “created” (1 job) or “queued” (4 jobs). However, following the links to these individual jobs shows that these jobs have all passed, according to the page on Travis.
This has happened before on other PRs (sometimes on documentation-only builds) - closing and reopening the PR has usually resulted in checks passing. Does anyone know what might be causing this lack of synchronisation between GitHub and Travis, or any quick way to re-sync? Obviously repeatedly closing and reopening could be tried, but it seems like a bit of a time sink.