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

[CI] Update the apt package list before installing openjdk #659

Merged
merged 1 commit into from
Mar 28, 2019
Merged

[CI] Update the apt package list before installing openjdk #659

merged 1 commit into from
Mar 28, 2019

Conversation

withsmilo
Copy link
Collaborator

@withsmilo withsmilo self-assigned this Mar 26, 2019
@withsmilo withsmilo requested a review from RehanSD March 26, 2019 05:02
@withsmilo withsmilo mentioned this pull request Mar 26, 2019
Closed
@AmplabJenkins
Copy link

Test PASSed.
Refer to this link for build results (access rights to CI server needed):
https://amplab.cs.berkeley.edu/jenkins//job/Clipper-PRB/1838/
Test PASSed.

@withsmilo withsmilo requested a review from simon-mo March 28, 2019 00:05
@RehanSD
Copy link
Collaborator

RehanSD commented Mar 28, 2019

Looks good. Lgtm

@RehanSD RehanSD merged commit 05674b1 into ucbrise:develop Mar 28, 2019
@withsmilo withsmilo deleted the update_before_installing_openjdk branch March 28, 2019 00:17
RehanSD
RehanSD reviewed Mar 28, 2019
View reviewed changes
Copy link
Collaborator

@RehanSD RehanSD left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Lgtm

@withsmilo withsmilo mentioned this pull request Mar 28, 2019
Merged
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 27, 2019
@rkooo567
[CI] Update the apt package list before installing openjdk (ucbrise#659)
6dd55a4
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 28, 2019
@rkooo567
[CI] Update the apt package list before installing openjdk (ucbrise#659)
5266343
rkooo567 pushed a commit to rkooo567/clipper that referenced this pull request Apr 28, 2019
@rkooo567
[CI] Update the apt package list before installing openjdk (ucbrise#659)
b89af2a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RehanSD RehanSD RehanSD left review comments

@simon-mo simon-mo Awaiting requested review from simon-mo

Assignees

@withsmilo withsmilo

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@withsmilo @AmplabJenkins @RehanSD