I looked into this and it looks like there's a blindspot in the Github API
reporting where it includes a bunch of checks that finished but doesn't list
checks that haven't started yet at all. In this case the bot reports success
because there are no pending checks.
Not sure how we can easily im
> On 4 Sep 2021, at 22:15, Eric V. Smith wrote:
>
> Is it because I didn't wait for the checks to complete before merging?
>
> (It's a documentation only change that I previously committed to main without
> incident, so I didn't feel the need to wait for all of the checks to run
> before merg
