diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/ci/scripts/triggers.sh | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh index 68c207550..9704874e7 100755 --- a/tools/ci/scripts/triggers.sh +++ b/tools/ci/scripts/triggers.sh @@ -6,43 +6,34 @@ function run { } run "ci_deheader" -sleep 15s run "ci_gcc4x" sleep 15s run "ci_gcc49" -sleep 15s run "ci_clang3x" sleep 15s run "ci_customnls" -sleep 15s run "ci_clang-tidy" sleep 15s run "ci_h" -sleep 15s run "ci_gcc6_tests" sleep 15s run "ci_gcc6" -sleep 15s run "ci_malloc" sleep 15s run "ci_clang6" -sleep 15s run "ci_gcc5" sleep 15s run "ci_clang4_5" -sleep 15s run "ci_xmllibs" sleep 15s run "ci_fedora" -sleep 15s run "ci_gcc-snapshot" sleep 15s run "ci_mxe" -sleep 15s run "ci_mse" sleep 15s run "ci_glibcdebug" -sleep 15s run "ci_checks" sleep 15s run "ci_gcc7_tests" +run "ci_gcc3" |