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

Project import generated by Copybara. #84

Merged
merged 1 commit into from
Jul 3, 2024

Conversation

davidmandle
Copy link
Contributor

Project import generated by Copybara.

@davidmandle davidmandle requested a review from nihar-aalyria July 3, 2024 17:05
nihar-aalyria
nihar-aalyria previously approved these changes Jul 3, 2024
@nihar-aalyria
Copy link
Collaborator

Ah, looks like the pipeline is failing due to a missing dependency for the @com_github_google_uuid library in the API-repo specific WORKSPACE file. It seems like this dependency was added in MR!4055.

GitOrigin-RevId: d7b2f5d90aeb013583cad805f550a604eefa34ea
@davidmandle
Copy link
Contributor Author

Fixed the missing @com_github_google_uuid dependency!

@davidmandle davidmandle requested a review from nihar-aalyria July 3, 2024 18:58
@davidmandle davidmandle merged commit 9b30904 into main Jul 3, 2024
20 checks passed
@dgnemo dgnemo deleted the D92CC9E5DFD2EAA822F7EBC1910C7922 branch July 15, 2024 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants