diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-12-18 17:20:02 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-18 17:20:02 -0800 |
commit | 018ff661d60cfc4801a2178fdb4f91181a8a69ee (patch) | |
tree | be9b91bc64addfb57c81481662d358594586141f /src/theory/arith/nonlinear_extension.h | |
parent | e764be08256591dfa183d7b3adc750394921574f (diff) |
Fix travis write errors. (#1445)
For reasons unknown, after the latest update of the Trusty environment on Travis,
we encountered write errors for the three Clang builds. As suggested here
https://github.com/travis-ci/travis-ci/issues/4704#issuecomment-321777557,
adding filter_secrets: false to the .travis.yml fixes the problem.
Note: switching back to the deprecated builds did not fix the problem.
Diffstat (limited to 'src/theory/arith/nonlinear_extension.h')
0 files changed, 0 insertions, 0 deletions