projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e764be0) | patch
Fix travis write errors. (#1445)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 19 Dec 2017 01:20:02 +0000 (17:20 -0800)
committerGitHub <noreply@github.com>
Tue, 19 Dec 2017 01:20:02 +0000 (17:20 -0800)
commit018ff661d60cfc4801a2178fdb4f91181a8a69ee
treebe9b91bc64addfb57c81481662d358594586141ftree
parente764be08256591dfa183d7b3adc750394921574fcommit | 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.
.travis.yml diff | blob | history