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.

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

Switch linux builders to EC2 #98

Closed
wants to merge 3 commits into from
Closed

Switch linux builders to EC2 #98

wants to merge 3 commits into from

Conversation

@metajack
Copy link
Contributor

metajack commented Aug 27, 2015

This also rolls up some of the other changes that weren't landed in separate commits.

r? @larsbergstrom or @edunham

Review on Reviewable

@metajack
Copy link
Contributor Author

metajack commented Aug 27, 2015

Note that this config has been running in production for a few weeks.

@Manishearth

This comment has been minimized.

Copy link

Manishearth commented on buildbot/master/master.cfg in 22a10ef Aug 27, 2015

❤️

@Ms2ger
Copy link
Contributor

Ms2ger commented Aug 27, 2015

Well then.

@bors-servo r+

@bors-servo
Copy link
Contributor

bors-servo commented Aug 27, 2015

📌 Commit c1a0c2e has been approved by Ms2ger

@bors-servo
Copy link
Contributor

bors-servo commented Aug 27, 2015

🔒 Merge conflict

@Manishearth
Copy link
Member

Manishearth commented Aug 27, 2015

@Manishearth
Copy link
Member

Manishearth commented Aug 27, 2015

@bors-servo r+ force

@Manishearth Manishearth reopened this Aug 27, 2015
@Manishearth
Copy link
Member

Manishearth commented Aug 27, 2015

@bors-servo
Copy link
Contributor

bors-servo commented Aug 27, 2015

📌 Commit c1a0c2e has been approved by Manishearth

@bors-servo
Copy link
Contributor

bors-servo commented Aug 27, 2015

🔒 Merge conflict

@Manishearth
Copy link
Member

Manishearth commented Aug 27, 2015

@bors-servo force

@Manishearth
Copy link
Member

Manishearth commented Aug 27, 2015

wait. oh. this PR is not merging to master.

@Ms2ger Ms2ger closed this Aug 27, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
You can’t perform that action at this time.