summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/ci/scripts/triggers.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh
index 60fc430a2..2a9f046eb 100755
--- a/tools/ci/scripts/triggers.sh
+++ b/tools/ci/scripts/triggers.sh
@@ -6,11 +6,19 @@ 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"