summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/scripts/triggers.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/scripts/triggers.sh b/tools/ci/scripts/triggers.sh
index 60919ba4e..ade569d27 100755
--- a/tools/ci/scripts/triggers.sh
+++ b/tools/ci/scripts/triggers.sh
@@ -30,3 +30,5 @@ sleep 15s
run "ci_gcc5"
sleep 15s
run "ci_clang4_5"
+sleep 15s
+run "ci_xmllibs"