Merge branch 'master' into 8028-crunch-dispatch-local

[arvados-dev.git] / jenkins / run-tests.sh

diff --git a/jenkins/run-tests.sh b/jenkins/run-tests.sh
index bdf541af3c1577ed3f117ced4f1b1db7ffbb2ead..12890951f41f6e945a4afe45e99cfe3088ad5cdf 100755 (executable)
--- a/jenkins/run-tests.sh
+++ b/jenkins/run-tests.sh
@@ -68,6 +68,7 @@ services/keepproxy
 services/keepstore
 services/login-sync
 services/nodemanager
+services/crunch-dispatch-local
 sdk/cli
 sdk/pam
 sdk/python
@@ -720,6 +721,8 @@ gostuff=(
     services/datamanager/collection
     services/datamanager/keep
     services/datamanager
+    services/crunch-dispatch-local
+    services/crunch-run
     tools/keep-rsync
     )
 for g in "${gostuff[@]}"