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

Upgrade Android NDK version #3435

Merged
merged 1 commit into from
Nov 12, 2023
Merged

Conversation

JohnTitor
Copy link
Member

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 11, 2023

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

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit 6c99429 with merge 8b2cea6...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit 0f4964e with merge 2b2064b...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit 97100af with merge 61033fe...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit 67dc15f with merge 98627d1...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit 7d856c0 with merge 5016441...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Trying commit d82972e with merge 533b494...

bors added a commit that referenced this pull request Nov 11, 2023
@bors
Copy link
Contributor

bors commented Nov 11, 2023

☀️ Try build successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Build commit: 533b494 (533b494700566bd5d872a085110d1fc712f83eb3)

@JohnTitor
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 12, 2023

📌 Commit 01de022 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 12, 2023

⌛ Testing commit 01de022 with merge 81f3968...

bors added a commit that referenced this pull request Nov 12, 2023
@bors
Copy link
Contributor

bors commented Nov 12, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 12, 2023

📌 Commit 73fc089 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 12, 2023

⌛ Testing commit 73fc089 with merge 8c65fd5...

@bors
Copy link
Contributor

bors commented Nov 12, 2023

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

@bors bors merged commit 8c65fd5 into rust-lang:main Nov 12, 2023
11 checks passed
@JohnTitor JohnTitor deleted the android-ndk-update branch November 12, 2023 04:26
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.

3 participants