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

Also mark InferenceResult::has_errors flag when there are error types #17551

Merged
merged 1 commit into from
Jul 6, 2024

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jul 6, 2024

Should work around #15090 (comment)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 6, 2024
@Veykril
Copy link
Member Author

Veykril commented Jul 6, 2024

@bors r

@bors
Copy link
Collaborator

bors commented Jul 6, 2024

📌 Commit 61a676b has been approved by Veykril

It is now in the queue for this repository.

bors added a commit that referenced this pull request Jul 6, 2024
Also mark InferenceResult::has_errors flag when there are error types

Should work around #15090 (comment)
@bors
Copy link
Collaborator

bors commented Jul 6, 2024

⌛ Testing commit 61a676b with merge 916e66e...

@Veykril
Copy link
Member Author

Veykril commented Jul 6, 2024

@bors r

@bors
Copy link
Collaborator

bors commented Jul 6, 2024

📌 Commit e0105c4 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jul 6, 2024

⌛ Testing commit e0105c4 with merge 058c88d...

@bors
Copy link
Collaborator

bors commented Jul 6, 2024

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 058c88d to master...

1 similar comment
@bors
Copy link
Collaborator

bors commented Jul 6, 2024

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 058c88d to master...

@bors bors merged commit 058c88d into rust-lang:master Jul 6, 2024
11 checks passed
@bors
Copy link
Collaborator

bors commented Jul 6, 2024

👀 Test was successful, but fast-forwarding failed: 422 Changes must be made through a pull request.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants