projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8098d95) | patch
Switching travis over to using the containers infrastructure.
authorTim King <taking@google.com>
Tue, 24 Nov 2015 04:38:32 +0000 (20:38 -0800)
committerTim King <taking@google.com>
Tue, 24 Nov 2015 04:38:32 +0000 (20:38 -0800)
commit90ebc5e036f122b6705b3dd2f703f40d39de7aac
tree3076f8e7fd4c16a8be265e78703644718d4c30abtree
parent8098d95adcbb65d2d76322316f5a10c996f0eb8dcommit | diff
Switching travis over to using the containers infrastructure.
.travis.yml diff | blob | history