diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-01-25 11:29:02 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-01-25 11:29:02 -0500 |
| commit | 05cfa9e92ea08210ae78ec7b6054dce3e2b3ee30 (patch) | |
| tree | b105c417a17ea351695c7e334081462bc0271c35 /.travis.yml | |
| parent | 15d918ec0f8091de74ceba4031735948a7254d08 (diff) | |
Add a comment referencing travis issue numbers
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 13 |
1 files changed, 13 insertions, 0 deletions
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: |