-
Notifications
You must be signed in to change notification settings - Fork 1.1k
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
feat: add guarantees to simplification #7467
Merged
Merged
Commits on Sep 3, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 44d1b48 - Browse repository at this point
Copy the full SHA 44d1b48View commit details
Commits on Sep 4, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4c1c3a9 - Browse repository at this point
Copy the full SHA 4c1c3a9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2134f2f - Browse repository at this point
Copy the full SHA 2134f2fView commit details -
Configuration menu - View commit details
-
Copy full SHA for caa738f - Browse repository at this point
Copy the full SHA caa738fView commit details -
Configuration menu - View commit details
-
Copy full SHA for ff7ed70 - Browse repository at this point
Copy the full SHA ff7ed70View commit details
Commits on Sep 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a6b57e3 - Browse repository at this point
Copy the full SHA a6b57e3View commit details
Commits on Sep 10, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a78f837 - Browse repository at this point
Copy the full SHA a78f837View commit details -
Configuration menu - View commit details
-
Copy full SHA for 011f176 - Browse repository at this point
Copy the full SHA 011f176View commit details
Commits on Sep 11, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4bd9b60 - Browse repository at this point
Copy the full SHA 4bd9b60View commit details -
Configuration menu - View commit details
-
Copy full SHA for 16d78c6 - Browse repository at this point
Copy the full SHA 16d78c6View commit details
Commits on Sep 12, 2023
-
Configuration menu - View commit details
-
Copy full SHA for bffb137 - Browse repository at this point
Copy the full SHA bffb137View commit details -
Configuration menu - View commit details
-
Copy full SHA for e4427a3 - Browse repository at this point
Copy the full SHA e4427a3View commit details -
Configuration menu - View commit details
-
Copy full SHA for f4e8680 - Browse repository at this point
Copy the full SHA f4e8680View commit details
Commits on Sep 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a28d5eb - Browse repository at this point
Copy the full SHA a28d5ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for b50df80 - Browse repository at this point
Copy the full SHA b50df80View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2452957 - Browse repository at this point
Copy the full SHA 2452957View commit details
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.