jameslamb [ci] upgrade CI to Ubuntu 18.04 (#214)
8bcd886 Sep 27, 2020
[ci] upgrade CI to Ubuntu 18.04 (#214)
* [ci] upgrade CI to Ubuntu 18.04

* downgrade to 16.04

* roll back to Java 8

* add jre

* just use docker

* trying stuff

* fix broken things

* dates
8bcd886