Skip to content

Use OpenJDK8 for CircleCI builds + refactor build config#140

Merged
tovbinm merged 12 commits intomasterfrom mt/openjdk8Oct 1, 2018

Commits

Commits on Sep 29, 2018

Commits on Sep 30, 2018

Commits on Oct 1, 2018