projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6642b52) | patch
Remove Coverity SSL certificate workaround from Travis configuration. (#1058)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 30 Aug 2017 16:04:36 +0000 (09:04 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Aug 2017 16:04:36 +0000 (09:04 -0700)
commitfa9fe7dafcc57ec967992a00693650fd11d643ab
treec50c39fbef37478cafd5c3fdbd1cf06e928d6ed5tree
parent6642b52b199d658a838d1c1bb26c02e732c4e4d6commit | diff
Remove Coverity SSL certificate workaround from Travis configuration. (#1058)

Coverity works without the SSL certificate workaround and is not needed anymore. Note that we don't require sudo anymore and we could switch to container-based Travis builds (instead of VM-based).  However, container-based environments only provide 4G of memory (instead of 7.5G for VMs) , which is not enough for the current CVC4 build environment.
.travis.yml diff | blob | history