diff --git a/tools/test-main b/tools/test-main index 8b6f19c..8bc13a1 100755 --- a/tools/test-main +++ b/tools/test-main @@ -2,6 +2,6 @@ set -ev -tools/test-bots --coverage combine +tools/test-bots --coverage tools/test-botserver --coverage combine tools/test-zulip --coverage combine