修复 CI

我们过去曾让 Travis 自动对 PR 进行测试。现在它不再这样做了。我们应该修复这个问题。