Skip to content

Conversation

flip1995
Copy link
Member

I missed updating this file.

I also ran black and isort over it.

Fixes the deployment failure

r? @ghost

changelog: none

I missed updating this file.

I also ran black and isort over it.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jun 17, 2023
@flip1995
Copy link
Member Author

@bors r+ p=1000

@bors
Copy link
Contributor

bors commented Jun 17, 2023

📌 Commit 445f428 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 17, 2023

🌲 The tree is currently closed for pull requests below priority 1000. This pull request will be tested once the tree is reopened.

@bors
Copy link
Contributor

bors commented Jun 17, 2023

⌛ Testing commit 445f428 with merge 965f4a8...

@flip1995
Copy link
Member Author

This time tested locally

@bors
Copy link
Contributor

bors commented Jun 17, 2023

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

@bors bors merged commit 965f4a8 into rust-lang:master Jun 17, 2023
@flip1995 flip1995 deleted the fix-version-py-script branch June 17, 2023 08:30
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.

3 participants