From 05cfa9e92ea08210ae78ec7b6054dce3e2b3ee30 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 25 Jan 2018 11:29:02 -0500
Subject: Add a comment referencing travis issue numbers

---
 .travis.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 1792d96ba..712357fc5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,6 +20,19 @@ addons:
   apt:
     sources:
     - avsm
+## Due to issues like
+## https://github.com/travis-ci/travis-ci/issues/8507 ,
+## https://github.com/travis-ci/travis-ci/issues/9000 ,
+## https://github.com/travis-ci/travis-ci/issues/9081 , and
+## https://github.com/travis-ci/travis-ci/issues/9126 , we get frequent
+## failures with using `packages`.  Therefore, for most targets, we
+## instead invoke `apt-get update` manually with `travis_retry` before
+## invoking `apt-get install`, manually, below in the `install:`
+## target.
+#    packages:
+#    - opam
+#    - aspcud
+#    - gcc-multilib
 
 env:
   global:
-- 
cgit v1.2.3