diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-12 20:28:33 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-12 20:28:33 +0300 |
| commit | b830bb830f52102d25648b9738db2c6c77d94323 (patch) | |
| tree | d7faf8e14685ead24da7dc21755b1c2bf53525de | |
| parent | d14ccac9e8ea753bf6a1c65ce5bf975805412d19 (diff) | |
| download | mv-b830bb830f52102d25648b9738db2c6c77d94323.tar.gz mv-b830bb830f52102d25648b9738db2c6c77d94323.tar.bz2 mv-b830bb830f52102d25648b9738db2c6c77d94323.tar.xz mv-b830bb830f52102d25648b9738db2c6c77d94323.zip | |
Add ci_xmllibs into triggers.
| -rwxr-xr-x | tools/ci/scripts/triggers.sh | 2 |
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" |