2017-08-18 14:55:54 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -ev
|
|
|
|
|
2017-11-20 12:09:19 -08:00
|
|
|
tools/test-bots --coverage
|
2017-08-21 15:03:08 +02:00
|
|
|
tools/test-botserver --coverage combine
|
2017-09-05 13:11:07 +02:00
|
|
|
tools/test-zulip --coverage combine
|
2017-11-29 16:48:11 -08:00
|
|
|
tools/test-lib --coverage combine
|