diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2018-01-15 20:24:44 +0000 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2018-01-15 23:07:54 +0000 |
| commit | 7110f138e97f72bf02e416425d61f90626a3a2e8 (patch) | |
| tree | bca48ea1e97afbd93b28df9e831514c1a3508c63 /.editorconfig | |
| parent | cec5fea71bff1ba46be6bc126efb85c28a169f9e (diff) | |
Run fewer Travis jobs during Pull Requests.
Still run all the jobs during cron and regular push to branch. We
disabled build for push to branch, so cron is the only place where all
builds are run. This also means we need to worry less about spending time
in nightly builds, because they occur only once a day.
See https://github.com/travis-ci/travis-ci/issues/9071
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions