diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/ci/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools/ci/ci.sh b/devtools/ci/ci.sh index d323b8d7..5169af28 100755 --- a/devtools/ci/ci.sh +++ b/devtools/ci/ci.sh @@ -102,8 +102,8 @@ print_duration_and_reset echo "----------------------------------------" echo "Running screentest" echo "----------------------------------------" -# ./tests/screentest/run.sh --rm --seeddb ci --concurrency 1 -# print_duration_and_reset +./tests/screentest/run.sh --rm --seeddb ci --concurrency 1 +print_duration_and_reset echo "----------------------------------------" echo "Running search tests" |