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
Redesign lifting maps #116
base: main
Are you sure you want to change the base?
Redesign lifting maps #116
Changes from all commits
0863fc4
e5ee0f3
55b4120
8c146f2
59051c6
f05aac4
e4165d8
2777f9b
e5d48d3
601a0e1
1f9b12d
f560475
cfd7f45
5ac166f
305f486
f77ad64
0668f97
190e2b8
f774c97
bd24387
a7a8755
2ccbea3
7682fef
f3e3f88
f4010fa
27962fc
1f5ad56
81df9ac
7e7a49b
4f10f7b
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing