From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 19 Dec 2017 01:20:02 +0000 (-0800)
Subject: Fix travis write errors. (#1445)
X-Git-Tag: cvc5-1.0.0~5412
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=018ff661d60cfc4801a2178fdb4f91181a8a69ee;p=cvc5.git

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.
---

diff --git a/.travis.yml b/.travis.yml
index edb29e767..667dab3e4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,11 @@
+# Fix Travis write errors on Clang builds. These write errors occurred after
+# a Travis update to new Trusty images on Dec. 12th 2017. The reason for these
+# write errors is unknown. Using the deprecated builds did not fix the problem.
+# Setting 'filter_secrets: false' as suggested here
+# https://github.com/travis-ci/travis-ci/issues/4704#issuecomment-321777557
+# fixes the problem.
+filter_secrets: false
+
 language: cpp
 cache:
  - apt