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

Fix Fuchsia target names #3059

Merged
merged 1 commit into from
Jan 8, 2023
Merged

Conversation

JohnTitor
Copy link
Member

Signed-off-by: Yuki Okushi jtitor@2k36.org

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
@rustbot
Copy link
Collaborator

rustbot commented Jan 8, 2023

@JohnTitor: no appropriate reviewer found, use r? to override

@JohnTitor
Copy link
Member Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Jan 8, 2023

📌 Commit ce0cbc2 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 8, 2023

⌛ Testing commit ce0cbc2 with merge c12fc0d...

@bors
Copy link
Contributor

bors commented Jan 8, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing c12fc0d to master...

1 similar comment
@bors
Copy link
Contributor

bors commented Jan 8, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing c12fc0d to master...

@bors
Copy link
Contributor

bors commented Jan 8, 2023

👀 Test was successful, but fast-forwarding failed: 422 Changes must be made through a pull request.

@bors bors merged commit c12fc0d into rust-lang:master Jan 8, 2023
@JohnTitor JohnTitor deleted the fuchsia-target-names branch January 8, 2023 18:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants