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

internal: Derive block attributes from block item tree #15435

Merged
merged 4 commits into from Aug 10, 2023

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Aug 10, 2023

No description provided.

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

Veykril commented Aug 10, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 10, 2023

📌 Commit fde2d9b has been approved by Veykril

It is now in the queue for this repository.

@Veykril
Copy link
Member Author

Veykril commented Aug 10, 2023

@bors r+

@Veykril Veykril closed this Aug 10, 2023
@Veykril Veykril reopened this Aug 10, 2023
@Veykril
Copy link
Member Author

Veykril commented Aug 10, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 10, 2023

📌 Commit 9adff00 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Aug 10, 2023

⌛ Testing commit 9adff00 with merge 7e8338c...

bors added a commit that referenced this pull request Aug 10, 2023
Derive block attributes from block item tree
@bors
Copy link
Collaborator

bors commented Aug 10, 2023

⌛ Testing commit 9adff00 with merge 1b67823...

@bors
Copy link
Collaborator

bors commented Aug 10, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 1b67823 to master...

@bors bors merged commit 1b67823 into rust-lang:master Aug 10, 2023
11 of 16 checks passed
@Veykril Veykril deleted the block-src branch August 10, 2023 18:46
@lnicola lnicola changed the title Derive block attributes from block item tree internal: Derive block attributes from block item tree Aug 11, 2023
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