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

Update actions/checkout #10771

Merged
merged 1 commit into from
May 12, 2023
Merged

Conversation

giraffate
Copy link
Contributor

Suppress the warning in GitHub Actions: https://github.com/rust-lang/rust-clippy/actions/runs/4941438718

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented May 12, 2023

r? @flip1995

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label May 12, 2023
@flip1995
Copy link
Member

Nice, resolving CI warnings is something I planned to do for a while.

@bors r+

@bors
Copy link
Collaborator

bors commented May 12, 2023

📌 Commit 8100a88 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented May 12, 2023

⌛ Testing commit 8100a88 with merge 035c457...

@bors
Copy link
Collaborator

bors commented May 12, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing 035c457 to master...

@bors bors merged commit 035c457 into rust-lang:master May 12, 2023
bors added a commit that referenced this pull request May 12, 2023
@giraffate giraffate deleted the update_actions_checkout branch May 12, 2023 14:20
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