These are chat archives for sdkman/vendors

13th
Jul 2017
Marco Vermeulen
@marc0der
Jul 13 2017 06:37
@cy6erGn0m does this seem okay for you?
Sergey Mashkov
@cy6erGn0m
Jul 13 2017 11:10
sure, just fixed our build configuration
so the only I had to change is -Dsdkman.default -> -Dsdkman.version ?
Marco Vermeulen
@marc0der
Jul 13 2017 12:27
yes, although I'm not sure where you get the source for the plugin for. do you pull it every time from github?
@cy6erGn0m :point_up:
Sergey Mashkov
@cy6erGn0m
Jul 13 2017 17:33
yes, I simply pull and install it locally on CI