Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented May 3, 2023

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 3, 2023
steps:
- uses: actions/checkout@v3
- uses: dorny/paths-filter@v2
- uses: dorny/paths-filter@4067d885736b84de7c414f582ac45897079b0a78
Copy link
Member

Choose a reason for hiding this comment

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

This is one PR after the last tagged version, but it's a doc-only change, so it shouldn't matter.

@lnicola
Copy link
Member

lnicola commented May 3, 2023

@bors r+

@bors
Copy link
Contributor

bors commented May 3, 2023

📌 Commit 928a378 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 3, 2023

⌛ Testing commit 928a378 with merge 60f4b3e...

@bors
Copy link
Contributor

bors commented May 3, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 60f4b3e to master...

@bors bors merged commit 60f4b3e into rust-lang:master May 3, 2023
@Veykril Veykril deleted the cistuff branch May 3, 2023 12:04
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.

4 participants