diff options
| author | Andrei Karas <akaras@inbox.ru> | 2018-05-23 19:15:55 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-05-23 19:15:55 +0300 |
| commit | 665f0e34dacbce33ae7c47d23df3c34923e9c349 (patch) | |
| tree | 1b65bac22d28d84ebfcf619e6efcc55958549484 /tools/ci/scripts/triggers.sh | |
| parent | 3417349e1fcf801fecc6a31c2224efca823ee058 (diff) | |
| download | mv-665f0e34dacbce33ae7c47d23df3c34923e9c349.tar.gz mv-665f0e34dacbce33ae7c47d23df3c34923e9c349.tar.bz2 mv-665f0e34dacbce33ae7c47d23df3c34923e9c349.tar.xz mv-665f0e34dacbce33ae7c47d23df3c34923e9c349.zip | |
Add ci_gcc7 into triggers.
Diffstat (limited to 'tools/ci/scripts/triggers.sh')
| -rwxr-xr-x | tools/ci/scripts/triggers.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh index a596d397c..639aa7d9e 100755 --- a/tools/ci/scripts/triggers.sh +++ b/tools/ci/scripts/triggers.sh @@ -38,7 +38,8 @@ sleep 15s run "ci_checks" run "ci_gcc7_tests" sleep 15s +run "ci_gcc7" run "ci_gcc3" -run "ci_clang7" sleep 15s +run "ci_clang7" run "ci_site" |