diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 09:13:52 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-27 09:13:52 -0700 |
commit | c6aa453fe1c34481f83ca96f5feb8b1a7ad6c734 (patch) | |
tree | 24f7b6b2c1e28b988f4ddd61f9761777caebf487 /src/expr/expr_manager_template.cpp | |
parent | 9f9f8d29c9428289492e421fc1c464a51a06977e (diff) |
Remove Coverity build from Travis (#2373)
The Coverity build is now done as part of our nightlies and the Travis
Coverity build was timing out most of the time anyway, so this commit
removes it.
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
0 files changed, 0 insertions, 0 deletions