-
Notifications
You must be signed in to change notification settings - Fork 81
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
For #406: removed JAVA_HOME wrong path #425
Conversation
@rultor merge |
@paulodamaso OK, I'll try to merge now. You can check the progress of the merge here |
@paulodamaso Oops, I failed. You can see the full log here (spent 2min)
|
@rultor release tag is |
@paulodamaso OK, I will release it now. Please check the progress here |
@paulodamaso Oops, I failed. You can see the full log here (spent 9min)
|
Job |
@paulodamaso/z this pull request is too small, just 2 lines changed (less than 10), there will be no formal code review, see §53 and §28; in the future, try to make sure your pull requests are not too small; @paulodamaso/z please review this and merge or reject |
For #406: removed JAVA_HOME wrong path