When I comment bors r+, as soon as all of the required status checks have succeeded, Bors comments Build succeeded and merges the pull request(s). This happens almost immediately (that is, within one or two minutes of all of the required status checks finishing).
In contrast, when I comment bors try, there is often a long delay between all of the required status checks succeeding and Bors commenting try - Build succeeded. In many cases, there is a delay of 30 minutes or greater between all of the required status checks succeeding and Bors posting the try - Build succeeded comment.
Am I doing something wrong? Or is this a bug in Bors?
See below for an example.
This example is for the pull request: https://github.com/bcbi/BorsTestRepository.jl/pull/7
I first post a comment with the contents bors try.
Four minutes after I posted the bors try comment, the only required status check has passed, but there is no comment from Bors.
Seven minutes after posting bors try, still no comment.
Ten minutes:
Thirty-one minutes:
Thirty-four minutes after I posted the bors try comment, Bors finally posts the try - Build succeeded comment.
In contrast, when I comment bors r+, Bors comments Build succeeded and merges the pull request less than two minutes after I commented bors r+.
