Skip to content

Ahmed ci edits#1172

Merged
rfecher merged 2 commits intomasterfrom
ahmed_ci_edits
Aug 31, 2017
Merged

Ahmed ci edits#1172
rfecher merged 2 commits intomasterfrom
ahmed_ci_edits

Conversation

@ayk33
Copy link
Copy Markdown
Contributor

@ayk33 ayk33 commented Aug 31, 2017

Several updates to the clean-up.py scripts / Jenkinsfile and build environment. Also reintroducing the mvn clean command and recreating the files that get deleted that are required for the build.

@ayk33 ayk33 requested a review from rfecher August 31, 2017 02:07
@coveralls
Copy link
Copy Markdown

coveralls commented Aug 31, 2017

Coverage Status

Coverage increased (+0.3%) to 51.203% when pulling 99cf8da on ahmed_ci_edits into 7a785ab on master.

@rfecher rfecher merged commit 73943fe into master Aug 31, 2017
@rfecher rfecher deleted the ahmed_ci_edits branch August 31, 2017 14:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants