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 SDK version #3439

Closed
wants to merge 2 commits into from

Conversation

JohnTitor
Copy link
Member

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 12, 2023

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

@JohnTitor
Copy link
Member Author

@bors try

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

bors commented Nov 12, 2023

⌛ Trying commit 7e6a25b with merge 33015bc...

@bors
Copy link
Contributor

bors commented Nov 12, 2023

💔 Test failed - checks-actions

@JohnTitor
Copy link
Member Author

@bors try

@bors
Copy link
Contributor

bors commented Nov 12, 2023

⌛ Trying commit 13af3d7 with merge 449a1b9...

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 try

@bors
Copy link
Contributor

bors commented Nov 12, 2023

⌛ Trying commit 8bd0331 with merge b3c2705...

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 JohnTitor force-pushed the android-sdk-update branch 2 times, most recently from 1430791 to 0b08b6a Compare November 12, 2023 12:37
@bors
Copy link
Contributor

bors commented Nov 14, 2023

☔ The latest upstream changes (presumably #3442) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Contributor

bors commented Dec 19, 2023

☔ The latest upstream changes (presumably #3489) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Contributor

bors commented Jan 7, 2024

☔ The latest upstream changes (presumably #3524) made this pull request unmergeable. Please resolve the merge conflicts.

@JohnTitor JohnTitor closed this Jan 8, 2024
@JohnTitor JohnTitor deleted the android-sdk-update branch January 8, 2024 15:15
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