projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db6d6f0) | patch
Reduce number of Travis builds. (#1578)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 8 Feb 2018 01:51:46 +0000 (17:51 -0800)
committerGitHub <noreply@github.com>
Thu, 8 Feb 2018 01:51:46 +0000 (17:51 -0800)
commita21b519006224b0d81cd5e36104cad6f43d4720c
tree07566ec60faf22e62b559e42bc53b7ea4b8d3838tree
parentdb6d6f0f330b28a68841a4c75b63d61b434496bacommit | diff
Reduce number of Travis builds. (#1578)
.travis.yml diff | blob | history