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
[Merged by Bors] - Implement checkpoint sync #2244
[Merged by Bors] - Implement checkpoint sync #2244
Changes from 1 commit
719a934
4dcf2e7
3aa7c7b
366ae60
d8e8d97
6cdac53
22867d7
dd55207
f86032f
0066231
25306fc
6cdb165
20a97a4
8d812ce
d966be6
5221ac6
9b290f8
6b79baf
5e92a7a
8865e90
8392cac
4283c1e
d292e3d
6d2a152
0ce85c4
1719ae8
d3738f3
215941b
149ae88
db96456
ed18349
8dc823f
1c147a7
11feeb8
c96a027
5eee72f
6b7c140
edbc3ce
ff6700d
599956f
8f4bf6e
f06bf2a
81ed51a
8e32a1e
b404f4d
30e2219
6dbedfe
fc28aeb
c85c8ab
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing