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

Only reduce conflicts #2979

Merged

deusaquilus merged 1 commit into master from only-reduce-conflicts

Jan 15, 2024

Collaborator

deusaquilus commented Jan 15, 2024 •

edited

Loading

During beta reduction, only the conflicts actually need to be reduced.


          Only need to reduce conflicts

6d7a280

deusaquilus force-pushed the only-reduce-conflicts branch from b13ff4d to 6d7a280 Compare

January 15, 2024 02:23

deusaquilus merged commit b4b7acf into master

13 checks passed

deusaquilus deleted the only-reduce-conflicts branch

January 15, 2024 02:45

jilen pushed a commit that referenced this pull request


          Only need to reduce conflicts during BetaReduction (#2979)

78d8fa4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet