diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-24 10:36:25 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-24 10:36:25 -0700 |
commit | 0b82388e10cbb2ae7fc2f2c81ee643c5dd6f2605 (patch) | |
tree | 1ffeaf51014bb5323c3f6af0ab8c52c2bb56b0b7 /src/theory/quantifiers/macros.h | |
parent | 3b728a49c482ea447e3b82c7aa1251ad0866c12a (diff) |
Remove Coverity build from Travis
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/theory/quantifiers/macros.h')
0 files changed, 0 insertions, 0 deletions