projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6d8cd9) | patch
Reduce number of travis builds.
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 12 Oct 2017 01:17:31 +0000 (18:17 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Thu, 12 Oct 2017 01:21:28 +0000 (18:21 -0700)
commit6e775c15fa0754e9e376a57ae424275091558063
treec5922b3c2a376567db730c0bdee355c221b2025btree
parentd6d8cd9e46e4e3ac39f468e45b107ec4a0e5b9a2commit | diff
Reduce number of travis builds.

This also removes the Java API test code, which will be tested in the nightly
builds. Same goes for the removed portfolio builds.
.travis.yml diff | blob | history