projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d47884) | patch
Use Ubuntu 16.04 on Travis (#3059)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 15 Jun 2019 17:23:33 +0000 (10:23 -0700)
committerGitHub <noreply@github.com>
Sat, 15 Jun 2019 17:23:33 +0000 (10:23 -0700)
commitf6a2704f9e35f72c7e682fa71a3f64e79dd4e9e3
treef41efbfdab5197a96bf824f2d3c0017850fa2961tree
parent2d478849d704f44f2a1f584dbc98d3731ca4e6eecommit | 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
.travis.yml diff | blob | history