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

Add missing android extensions #813

Merged
merged 2 commits into from
Jun 29, 2021
Merged

Conversation

UebelAndre
Copy link
Collaborator

@UebelAndre UebelAndre commented Jun 29, 2021

Specify extensions for android system.

This is a drive-by fix. We don't currently have any android tests here and I didn't test it manually, but I think it's correct.

(original conversation: #797 (comment))

Copy link
Member

@hlopko hlopko left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could you add more info into the PR description? Things like is this a bug fix or a new behavior, how did you find it, why do you fix it, how did you test it.

I'll also say that in my world

Specify extensions for android system.

This is a drive-by fix. We don't currently have any android tests here and I didn't test it manually, but I think it's correct.

is an acceptable PR description :) It's better to be explicit.

@UebelAndre
Copy link
Collaborator Author

Could you add more info into the PR description? Things like is this a bug fix or a new behavior, how did you find it, why do you fix it, how did you test it.

I'll also say that in my world

Specify extensions for android system.

This is a drive-by fix. We don't currently have any android tests here and I didn't test it manually, but I think it's correct.

is an acceptable PR description :) It's better to be explicit.

Definitely, just trying to move a million miles an hour to get everything before bed time 😅

@UebelAndre UebelAndre merged commit 0d98d6b into bazelbuild:main Jun 29, 2021
@UebelAndre UebelAndre deleted the android branch July 7, 2021 02:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants