Skip to content

Updated jenkinsfile checkout command#1143

Merged
rfecher merged 1 commit intomasterfrom
ahmed_ci_dev
Jul 28, 2017
Merged

Updated jenkinsfile checkout command#1143
rfecher merged 1 commit intomasterfrom
ahmed_ci_dev

Conversation

@ayk33
Copy link
Copy Markdown
Contributor

@ayk33 ayk33 commented Jul 28, 2017

No description provided.

@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage decreased (-2.4%) to 36.418% when pulling 18bacd8 on ahmed_ci_dev into 23f22af on master.

@rfecher rfecher merged commit 69bc77f into master Jul 28, 2017
@rfecher rfecher deleted the ahmed_ci_dev branch July 28, 2017 19:21
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