diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-15 10:23:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-15 10:23:33 -0700 |
commit | f6a2704f9e35f72c7e682fa71a3f64e79dd4e9e3 (patch) | |
tree | f41efbfdab5197a96bf824f2d3c0017850fa2961 /proofs | |
parent | 2d478849d704f44f2a1f584dbc98d3731ca4e6ee (diff) |
Use Ubuntu 16.04 on Travis (#3059)
Travis has started to switch to Ubuntu 16.04 [0]. We were explicitly
specifying 14.04 as the `dist` in our `.travis.yml`. This commit changes
that specification to 16.04, updates the Java version, and removes
a workaround for an old Travis issue.
[0] https://changelog.travis-ci.com/xenial-as-the-default-build-environment-99476
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions