Permalink
Browse files

CI: Re-enable cache

  • Loading branch information...
marcogario committed Nov 23, 2017
1 parent 9dc97db commit 838a96221771512ee72bc9e9c9aa897293b1da6a
Showing with 12 additions and 12 deletions.
  1. +12 −12 .travis.yml
View
@@ -5,18 +5,18 @@ git:
cache:
apt: true
# directories:
# - ${HOME}/.smt_solvers/btor
# - ${HOME}/.smt_solvers/bdd
# - ${HOME}/.cache/pip
# - ${HOME}/python_bindings/all
# - ${HOME}/python_bindings/msat
# - ${HOME}/python_bindings/z3
# - ${HOME}/python_bindings/cvc4
# - ${HOME}/python_bindings/yices
# - ${HOME}/python_bindings/bdd
# - ${HOME}/python_bindings/picosat
# - ${HOME}/python_bindings/btor
directories:
- ${HOME}/.smt_solvers/btor
- ${HOME}/.smt_solvers/bdd
- ${HOME}/.cache/pip
- ${HOME}/python_bindings/all
- ${HOME}/python_bindings/msat
- ${HOME}/python_bindings/z3
- ${HOME}/python_bindings/cvc4
- ${HOME}/python_bindings/yices
- ${HOME}/python_bindings/bdd
- ${HOME}/python_bindings/picosat
- ${HOME}/python_bindings/btor
addons:
apt:

0 comments on commit 838a962

Please sign in to comment.