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

build: fix script name #15779

Merged
merged 1 commit into from
May 8, 2017
Merged

build: fix script name #15779

merged 1 commit into from
May 8, 2017

Conversation

mberhault
Copy link
Contributor

No description provided.

@cockroach-teamcity
Copy link
Member

This change is Reviewable

@mberhault
Copy link
Contributor Author

mberhault commented May 8, 2017 •
edited
Loading

TBRing as soon as it's green: this is breaking the master builds.

@benesch benesch self-requested a review May 8, 2017 18:40
@mberhault mberhault merged commit cd40ba5 into master May 8, 2017
@mberhault mberhault deleted the marc/fix_script_name branch May 8, 2017 18:54
mberhault pushed a commit that referenced this pull request May 8, 2017
1.0x cherrypick: build: fix script name
5ebc7b0 
Cherrypicking #15779
@mberhault mberhault mentioned this pull request May 8, 2017
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tamird tamird tamird approved these changes

@benesch benesch benesch approved these changes

Assignees

@benesch benesch

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@mberhault @cockroach-teamcity @benesch @tamird