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

[infra] Bump NDK version #183

Merged
merged 1 commit into from
Nov 1, 2023
Merged

[infra] Bump NDK version #183

merged 1 commit into from
Nov 1, 2023

Conversation

dcharkes
Copy link
Collaborator

@dcharkes dcharkes commented Nov 1, 2023

It looks like the CI didn't run the sysroot and minSdkVersion against each other and merged them both.

@github-actions github-actions bot added the type-infra A repository infrastructure change or enhancement label Nov 1, 2023
@dcharkes dcharkes merged commit 45b5e6c into main Nov 1, 2023
18 checks passed
@dcharkes dcharkes deleted the try-fix-ci branch November 1, 2023 18:29
HosseinYousefi pushed a commit that referenced this pull request Nov 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-infra A repository infrastructure change or enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants