Skip to content

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Nov 2, 2022

@lnicola
Copy link
Member Author

lnicola commented Nov 2, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Nov 2, 2022

📌 Commit 2c31028 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 2, 2022

⌛ Testing commit 2c31028 with merge 37fc295...

@lnicola
Copy link
Member Author

lnicola commented Nov 2, 2022

@bors retry

@lnicola
Copy link
Member Author

lnicola commented Nov 2, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Nov 2, 2022

📌 Commit adee109 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 2, 2022

⌛ Testing commit adee109 with merge 56c97a8...

@bors
Copy link
Contributor

bors commented Nov 2, 2022

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 56c97a8 to master...

@bors bors merged commit 56c97a8 into rust-lang:master Nov 2, 2022
@lnicola lnicola deleted the bump-ovsx branch November 2, 2022 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants