Skip to content
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

Build an evaluation block for the definition region of a generic. #4131

Merged
merged 1 commit into from
Jul 16, 2024

Conversation

zygoloid
Copy link
Contributor

No description provided.

@zygoloid
Copy link
Contributor Author

Depends on #4128.

@github-actions github-actions bot requested a review from geoffromer July 14, 2024 18:21
@zygoloid zygoloid added dependent Depends on another issue/PR and removed toolchain labels Jul 14, 2024
Copy link
Contributor

@jonmeow jonmeow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Not merging due to dependency.

@zygoloid zygoloid enabled auto-merge July 16, 2024 00:11
@zygoloid zygoloid added this pull request to the merge queue Jul 16, 2024
Merged via the queue into carbon-language:trunk with commit 5006838 Jul 16, 2024
7 checks passed
@zygoloid zygoloid deleted the toolchain-generic-2 branch July 16, 2024 00:22
brymer-meneses pushed a commit to brymer-meneses/carbon-lang that referenced this pull request Aug 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependent Depends on another issue/PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants