projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab2924e) | patch
Enable ccache compression, increase cache size (#1099)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 14 Sep 2017 22:14:09 +0000 (15:14 -0700)
committerGitHub <noreply@github.com>
Thu, 14 Sep 2017 22:14:09 +0000 (15:14 -0700)
commit2672db00c4fcc97a1a28516c031061bdcfd70bb5
tree9fcdeb4fdf0d25d9b3271fdbc67b2e9110a8b9cbtree
parentab2924e8a6cc34f29167b1ff50273d59dd7a6707commit | diff
Enable ccache compression, increase cache size (#1099)

This commit enables compression for ccache, increases the cache size to 1GB and
resets the ccache statistics before each run.
.travis.yml diff | blob | history