diff options
| author | kennytm <kennytm@gmail.com> | 2018-07-03 06:01:58 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-07-03 06:05:33 +0800 |
| commit | 689cffa211e4c2c2c74dbc759020be40fe222d23 (patch) | |
| tree | 4582fcc910d37407bb557d1e7589437ff3f40534 | |
| parent | 20231d774bcda2d6f9bd52fe402fd22f2d22d223 (diff) | |
| download | rust-689cffa211e4c2c2c74dbc759020be40fe222d23.tar.gz rust-689cffa211e4c2c2c74dbc759020be40fe222d23.zip | |
Run "tools" job on PR when commit message starts with "Update RLS/miri/..."
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 2e6722cf855..ba8a39f355c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -169,7 +169,7 @@ matrix: - env: IMAGE=x86_64-gnu-aux if: branch = auto - env: IMAGE=x86_64-gnu-tools - if: branch = auto + if: branch = auto OR (type = pull_request AND commit_message =~ /(?i:^update.*\b(rls|rustfmt|clippy|miri)\b)/) - env: IMAGE=x86_64-gnu-debug if: branch = auto - env: IMAGE=x86_64-gnu-nopt |