Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Bug report: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted #739
Cross-posted from this forum post.
When I comment
In contrast, when I 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: bcbi/BorsTestRepository.jl#7
I first post a comment with the contents