projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f9f8d2) | patch
Remove Coverity build from Travis (#2373)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 27 Aug 2018 16:13:52 +0000 (09:13 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 27 Aug 2018 16:13:52 +0000 (09:13 -0700)
commitc6aa453fe1c34481f83ca96f5feb8b1a7ad6c734
tree24f7b6b2c1e28b988f4ddd61f9761777caebf487tree
parent9f9f8d29c9428289492e421fc1c464a51a06977ecommit | 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.
.travis.yml diff | blob | history