Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Upgrade maven tools to 1.42 #445

Merged
merged 1 commit into from
Mar 16, 2015
Merged

Upgrade maven tools to 1.42 #445

merged 1 commit into from
Mar 16, 2015

Conversation

jouvin
Copy link
Contributor

@jouvin jouvin commented Mar 13, 2015

No description provided.

@hpcugentbot
Copy link

Refer to this link for build results (access rights to CI server needed):
https://jenkins1.ugent.be/job/NCM_Components-pull_requests/555/
Test FAILed.

@jouvin jouvin added this to the 15.2 milestone Mar 13, 2015
@jouvin jouvin mentioned this pull request Mar 13, 2015
Merged
@jouvin
Copy link
Contributor Author

jouvin commented Mar 14, 2015

test this please

@hpcugentbot
Copy link

Refer to this link for build results (access rights to CI server needed):
https://jenkins1.ugent.be/job/NCM_Components-pull_requests/556/
Test PASSed.

jrha added a commit that referenced this pull request Mar 16, 2015
@jrha
Merge pull request #445 from jouvin/build_tools
1faa22b 
Upgrade maven tools to 1.42
@jrha jrha merged commit 1faa22b into quattor:master Mar 16, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
15.2
Development

Successfully merging this pull request may close these issues.
3 participants
@jouvin @hpcugentbot @jrha