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

*: tiny cleanup #2566

Merged
merged 2 commits into from
Dec 8, 2017
Merged

*: tiny cleanup #2566

merged 2 commits into from
Dec 8, 2017

Conversation

BusyJay
Copy link
Member

@BusyJay BusyJay commented Dec 8, 2017

  • change dev target to skip build target, so it can run faster.
  • fix typos

@BusyJay
*: tiny cleanup
0335396 
- change dev target to skip build target
- fix typos
@disksing
Copy link
Contributor

disksing commented Dec 8, 2017

LGTM.

@siddontang
Copy link
Contributor

LGTM

@BusyJay
Copy link
Member Author

BusyJay commented Dec 8, 2017

/run-integration-tests

@BusyJay
Copy link
Member Author

BusyJay commented Dec 8, 2017

/run-integration-tests

@BusyJay BusyJay merged commit 0456d93 into tikv:master Dec 8, 2017
@BusyJay BusyJay deleted the cleanup branch December 8, 2017 09:46
sticnarf pushed a commit to sticnarf/tikv that referenced this pull request Oct 27, 2019
@BusyJay
*: tiny cleanup (tikv#2566)
8999a75 
- change dev target to skip build target
- fix typos
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@siddontang siddontang siddontang approved these changes

@disksing disksing Awaiting requested review from disksing

@zhangjinpeng87 zhangjinpeng87 Awaiting requested review from zhangjinpeng87

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@BusyJay @disksing @siddontang