Closed TimNN closed 6 years ago
If a new commit was pushed while a Travis PR build was in progress, we should comment on failures of the outdated build.
The bot no longer comments on pull request builds, if the tested commit is outdated. (bors builds always get comments.
If a new commit was pushed while a Travis PR build was in progress, we should comment on failures of the outdated build.