Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Make sure that move in raise_z_for_servo() gives enough space for servo to deploy #2924
Make sure that move in raise_z_for_servo() gives enough space for servo to deploy #2924
Changes from all commits
e19fe40
0fbfb22
6bfcb74
6d691ac
78a347a
fcceb98
57da1b8
ae4acc4
60d5658
4f314af
e2da2b4
e7b40bb
0cebe85
0b42946
1635613
3b2973d
0fa3bac
58658c9
7a670e3
f6950ac
96fad29
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing